M. Felleisen and D.P. Friedman: Control operators, the SECD-Machine, and the #- calculus. Formal Descriptions of Programming Concepts III, North-Holland, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Synchronising with First-Class Conditions - Afshartous (Correct)
....combinators and constructors: choose, recvEvt, sendEvt, and wrap. We add to this list condEvt and the store operations for synchronization references: assignment, dereference, and allocation (set,get, and new) The style of the dynamic semantics is based on the notion of an evaluation context [FF86] and term rewriting via small step reductions. This method has been shown to simplify type soundness proofs and provides a framework amenable to language extensions [WF92] The source language grammar is shown in Figure 3.1. In addition to the syntactic class of expressions, e 2 Exp, and values, ....
M. Felleisen and D. Friedman. Formal Description of Programming Concepts III, chapter Control operators, the SECD-machine, and the calculus. NorthHolland, 1986.
Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (Correct)
.... fn x # e; or w is of form c w 1 wn , where n # 1, where w 1 , wn are weakly evaluated expressions, and where c is a constructor (sequential or non sequential) To formalise the call by value evaluation strategy we shall as in [8, 5] employ the notion of evaluation contexts[2]. Definition16. Evaluation contexts E take the form E : E e wE let x = E in e if E then e 1 else e 2 Notice that E is a context with exactly one hole in it, and that this hole is not inside the scope of any defining occurrence of a program identifier. We write E[e] for ....
M. Felleisen and D.P. Friedman: Control operators, the SECD-Machine, and the #- calculus. Formal Descriptions of Programming Concepts III, North-Holland, 1986.
Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (1997) (Correct)
No context found.
M. Felleisen and D.P. Friedman: Control operators, the SECD-Machine, and the #- calculus. Formal Descriptions of Programming Concepts III, North-Holland, 1986.
Polymorphic Subtyping for Effect Analysis: the Semantics - Amtoft, Nielson, Nielson.. (1996) (Correct)
No context found.
M.Felleisen, D.P.Friedman: Control Operators, the SECD-Machine, and the #-calculus. Formal Descriptions of Programming Concepts III, NorthHolland, 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