Mason, I.A. Equivalences of first-order Lisp programs. In Proc. Symposium on Logic in Computer Science, 1986, 105--117. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
The Revised Report on the Syntactic Theories of.. - Matthias Felleisen.. (1992) (117 citations) (Correct)
....a better understanding of imperative languages The most closely related research on reasoning with continuations and assignments is the work by Mason and Talcott. Over the past few years, they have developed equational theories for a first order version of Lisp with destructive cell operations [13], for a C like language on control [22, 23] and, most recently, for a higher order imperative version of Lisp without control abstractions [14] For a fragment of first order destructive Lisp without arithmetic and recursion, they have also shown that it is possible to obtain a complete ....
Mason, I.A. Equivalences of first-order Lisp programs. In Proc. Symposium on Logic in Computer Science, 1986, 105--117.
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