des Rivires, J., and Smith, B. C. The implementation of procedurally re ective languages. In Conference Record of the 1984. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
M-LISP: Its Natural Semantics and Equational Logic (Extended.. - Muller (1991) (Correct)
....rst. It is worth noting that the counter example is a program. 4 Related Work While there are a large number of studies of LISP with which we share either our general methodology (e.g. Gor75, Car76, Mas86, MT89, FFKD86, Fel88] or our general subject matter (e.g. Pit80, MP80, Smi82] or [Smi84, dRS84, FW84, FW86, DM88, Baw88]) we are unfamiliar with any axiomatic treatments of LISP s metalinguistic power. The rst structured operational semantics for LISP was de ned for M expression LISP by Gordon [Gor75] This was used as the basis for an induction principle for proving properties of LISP programs. One application ....
J. des Rivieres and B. Smith. The implementation of procedurally re ective languages. In Proceedings of the ACM Symposium on LISP and Functional Programming, pages 331-347, 1984.
M-LISP: A Representation-Independent Dialect of LISP with.. - Muller (1992) (Correct)
.... v , it is obviously not the case that reify [ 0 v is an extension (conservative or otherwise) of v . 23 5 Related Work While there are many studies of LISP with which we share either our general methodology [Gor75, BM75, Car76, Mas86, MT89, FFKD86, Fel88] or our general subject matter [Pit80, MP80, Smi82, Smi84, RS84, FW84, FW86, DM88, Baw88], we are unfamiliar with any attempts to axiomatize LISP s metalinguistic facilities. We are also unfamiliar with any reference in the literature to the problematic nature of equation (12) in McCarthy s original representation function. 5.1 Gordon The rst structured operational semantics for ....
J. Des Rivieres and B. Smith. The implementation of procedurally re ective languages. In Proceedings of the 1984 ACM Conference on LISP and Functional Programming, pages 331-347, 1984.
Amalgams: Names and Name Capture in a Declarative Framework - Michel, Giavitto (1998) (Correct)
No context found.
des Rivires, J., and Smith, B. C. The implementation of procedurally re ective languages. In Conference Record of the 1984.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC