| 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: |