Schmidt, D. Denotational Semantics, Boston, MA: Allyn and Bacon, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
What Not to Do When Writing an Interpreter for Specialisation - Jones (1996) (18 citations) (Correct)
....6.1. Note that the C component is neither compositional nor semicompositional. The underlines, e.g. n, indicate numeric runtime values, and M [xi 7 n] is a memory M 0 identical to M , except that M 0 (xi) n. 6. 2 Interpreters derived from denotational semantics A denotational semantics [11] consists of a collection of domain equations specifying the partially ordered value sets to which the meanings (denotations) of program pieces and auxiliaries such as environments will belong, and a collection of semantic functions mapping program pieces to their meanings in a ....
D.A. Schmidt, Denotational Semantics, Boston, MA: Allyn and Bacon, 1986.
The Expressive Power of Higher-order Types or, Life without CONS - Jones (Correct)
No context found.
Schmidt, D. Denotational Semantics, Boston, MA: Allyn and Bacon, 1986.
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