[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Variable Functions


Citation: Martin Odersky, "Programming with Variable Functions", in ICFP'98, Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ACM SIGPLAN Notices, vol. 34, no. 1, January 1999, 105--116.
Summary: The use of "variable functions" (functions which can be updated at specified points in their domains) is proposed as a method for deriving efficient imperative programs from functional programs. The notion of variable function is drawn from the dynamic functions of ASMs.
Subjects: Compiler Correctness
Download: PostScript, PDF, Compressed PostScript
Notes:  
[an error occurred while processing this directive]