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]

Abstract State Machines