Paper Info
Title
Side-effect free functions in object-oriented languages
Abstract
This paper presents a method for statically verifying that functions do not produce side-effects, in an object-oriented language. The described model, although not allowing any changes to pre-existing objects during a function call, permits an imperative style of programming, where new objects can be freely created and manipulated.
Year
DOI
Venue
1995
10.1016/0096-0551(95)00008-9
Comput. Lang.
Keywords
Field
DocType
Side-effect free function,pre-existing object,type checking,imperative style,statically verifying,side-effects,object-oriented language,object-oriented languages,new object,function call
Programming language,Object-oriented programming,Type checking,Computer science,Theoretical computer science
Journal
Volume
Issue
ISSN
21
3-4
Computer Languages
Citations 
PageRank 
References 
4
0.49
6
Authors
2
Name
Order
Citations
PageRank
Roberto Ierusalimschy146354.25
Noemi Rodriguez2294.51