Evaluation and denotation of pure LISP programs : a worked example in semantics
A Scott/Strachey style denotational semantics intended to describe pure LISP is examined. I present evidence that it is an accurate rendering of the language described in chapter 1 of the LISP 1.5 Programmer's, Manual, in particular I show that call-by-value and fluid variables are correctly ha...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1974
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257646 |