Detection of Side-Effects in Function Procedures

TitleDetection of Side-Effects in Function Procedures
Publication TypeTechnical Report
Year of Publication1994
AuthorsGriesemer, R.
Other Numbers902

Procedural programming languages usually do not support side-effect free functions but merely a form of function procedures. We argue that functions should be free of (non-local) side-effects, if they are considered as abstraction mechanism for expressions. While it is easy to statically detect side-effects in functions that do not dynamically allocate variables, this is no longer the case for functions that do create new data structures. After giving a classification of different levels of side-effects, we describe a simple and efficient method that allows for their dynamic detection while retaining assignments, i.e., without referring to a pure functional implementation. The method has been implemented for an experimental subset of Oberon.

Bibliographic Notes

ICSI Technical Report TR-94-032

Abbreviated Authors

R. Griesemer

ICSI Publication Type

Technical Report