Julian Padget and Grep Nuyens (Editors). The EuLisp Definition, June 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Syntactic Theory of Dynamic Binding - Moreau (1996) (1 citation) (Correct)
.... that dynamic binding cannot be macro expressed in the call by value lambda calculus (Section 7) On the other hand, we use dynamic binding as a semantic primitive to formalise two different models of exceptions: non resumable exceptions as in ML [40] and resumable ones as in Common Lisp [50, 64] (Section 8) This article is an extended version of a preliminary report [45] it contains the proofs of the different theorems and it describes shallow binding with value cell. Before deriving our calculus, we introduce dynamic binding intuitively, and we further motivate our work by describing ....
....exception foo is caught by the latest active dynamic handler for foo, installed by gee. Usually, programmers install exception handlers for the extent of an expression, i.e. the handler is dynamically bound during this extent. MacLisp [42] and Common Lisp [64] catch and throw, and Eulisp let cc [50] are other examples of exception like control operators with a dynamic extent. More generally, control delimiters are used to create partial continuations whose semantics allow various degrees of dynamicness [8, 32, 47, 54, 62] 7 exception foo; fun gee f = f ( handle foo = dynamic ; let fun ....
[Article contains additional citation context not shown here]
Julian Padget and Grep Nuyens (Editors). The EuLisp Definition, June 1991.
A Syntactic Theory of Dynamic Binding - Moreau (1997) (1 citation) (Correct)
....language, by establishing that dynamic binding cannot be macro expressed in the call by value lambda calculus. In Section 6, we use dynamic binding as a semantic primitive to formalise two different models of exceptions: non resumable exceptions as in ML [26] and resumable ones as in Common Lisp [43, 34]. Fourth, we refine our evaluation function in the strategy called deep binding , which facilitates the creation and restoration of dynamic environments (Section 7) Fifth, we extend our framework to parallel evaluation, based on the future construct [14, 17, 30] In Section 8, we define a ....
....language, raised exceptions are caught by the latest active handler. Usually, programmers install exception handlers for the duration of an expression, i.e. the handler is dynamically bound during the extent of the expression. MacLisp [28] and Common Lisp [43] catch and throw, Eulisp let cc [34] are other examples of exception like control operators with a dynamic extent. More generally, control delimiters are used to create partial continuations, whose different semantics tolerate various degrees of dynamicness [5, 20, 31, 38, 42] 2.3 Parallelism and Distribution Parallelism and ....
[Article contains additional citation context not shown here]
Julian Padget and Grep Nuyens (Editors). The Eulisp Definition, June 1991.
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