Michael J. C. Gordon, Operational Reasoning and Denotational Semantics, Actes du colloque IRIA Construction et Justification de Programmes, G. Huet & G. Kahn (eds), Arc et Senans (Juillet 1975). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Lisp - Almost a whole Truth! - Queinnec (1989) (Correct)
....of the described language. This work has been partly funded by Greco de Programmation. 6 calculus Pure Lisp Scheme Lisp Objects Power of the specified language calculus Pure Lisp Scheme Lisp Objects Power of the specifying language ffl [Stoy 77] ffl [Muchnick Pleban 80] ffl [Gordon 75] ffl [McCarthy 78] ffl [Dybvig 87] ffl [Kessler 88] ffl [Rees Clinger 86] ffl [Saint James 87] ffl [Lieberman Fry 88] Figure 1: Highly Subjective Taxonomy of some Interpreters Low level mechanisms like input output, memory management and error handling have traditionally been neglected in ....
Michael J. C. Gordon, Operational Reasoning and Denotational Semantics, Actes du colloque IRIA Construction et Justification de Programmes, G. Huet & G. Kahn (eds), Arc et Senans (Juillet 1975).
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