R. Griesemer. Detection of side-effects in function procedures. ICSI, 1994. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Side Effect Free Functions in Object-Oriented Languages - Roberto Ierusalimschy Noemi (Correct)
....documentation and verification. However, there is no simple way to ensure that a given function (or method) is completely side effect free. Moreover, the mechanism is not secure, and can be circumvented by typecasts or by holding a non const pointer to self (see [14] p. 149) Griesemer, in [6], proposes a very different approach, using dynamic verification instead of a static technique. This method has the advantage of allowing, in a sef function, any program construct that does not cause a side effect. On the other hand, errors can be detected only by exhaustive tests. 7 Conclusions ....
R. Griesemer. Detection of side-effects in function procedures. ICSI, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC