Morris, L. The next 700 formal language descriptions. Lisp and Symbolic Computation, 6, 3/4 (1993) 249--256. Original manuscript dated 1970.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....section presents our personal perspective on the discovery of the concept of CPS transformations. For a different and more extensive historical perspective, we refer the reader to Reynolds s survey [79] In the second section, we apply the original CPS transformation (due to Fischer [37] Morris [69], and Strachey and Wadsworth [101] to a pure call by value language. We also discuss Plotkin s analysis of the properties of this transformation [75] Finally, we include a series of CPS transformations from the literature that represent various practical and theoretical improvements of the ....

....2.1.2) This ability to shift perspective from a high level functional view to a low level machine view and vice versa is perhaps the most appealing aspect of CPS programs. 2. 2 The Original CPS Transformation The original formulation of the CPS transformation is due to Fischer [37] Morris [69], and Strachey and Wadsworth [101] We first illustrate the transformation of a pure (without constants) higher order call by value language. Definition 2.1 (Fischer CPS) Let k, m, n 2 Vars be variables that do not occur in the argument to F : In fact, the CPS transformation encodes most ....

[Article contains additional citation context not shown here]

Morris, L. The next 700 formal language descriptions. Lisp and Symbolic Computation, 6, 3/4 (1993) 249--256. Original manuscript dated 1970.

....definitional interpreter in direct style, as in Figure 6, together with a source program, as in Figure 3; and 2. produce a textual representation of its dynamic semantics, as in Figure 4. 6. 2 Compiler derivation Deriving compilers from interpreters is a well documented exercise by now [12, 24, 40]. These derivations are significantly more involved than the present work, and require significant more handcraft and ingenuity. For example, the source interpreter usually has to be expressed in continuation passing style. 6.3 Partial evaluation The renaissance of partial evaluation we see in ....

Lockwood Morris. The next 700 formal language descriptions. In Carolyn L. Talcott, editor, Special issue on continuations (Part I), LISP and Symbolic Computation, Vol. 6, Nos. 3/4, pages 249--258. Kluwer Academic Publishers, December 1993.

....interpreter in direct style, as in Figure 5.6, together with a source program, as in Figure 5.3; and 2. produce a textual representation of its dynamic semantics, as in Figure 5.4. 79 5.7. 2 Compiler derivation Deriving compilers from interpreters is a well documented exercise by now [27, 52, 73]. These derivations are significantly more involved than the present work, and require significant more handcraft and ingenuity. For example, the source interpreter usually has to be expressed in continuationpassing style. 5.7.3 Partial evaluation The renaissance of partial evaluation we see in ....

Lockwood Morris. The next 700 formal language descriptions. In Carolyn L. Talcott, editor, Special issue on continuations (Part I), LISP and Symbolic Computation, Vol. 6, Nos. 3/4, pages 249--258. Kluwer Academic Publishers, December 1993.

....definitional interpreter in direct style, as in Figure 3, together with a source program in Figure 4; and 2. produce a textual representation of its dynamic semantics, as in Figure 5. 19 5. 2 Compiler derivation Deriving compilers from interpreters is a well documented exercise by now [12, 28, 48]. These derivations are significantly more involved than the present work, and require significant more handcraft and ingenuity. For example, the source interpreter usually has to be expressed in continuationpassing style. 5.3 Partial evaluation The renaissance of partial evaluation we see in ....

Lockwood Morris. The next 700 formal language descriptions. In Carolyn L. Talcott, editor, Special issue on continuations (Part I), LISP and Symbolic Computation, Vol. 6, Nos. 3/4, pages 249--258. Kluwer Academic Publishers, December 1993.

....times of expressions in the representation of the semantic specification [18, 27] Intuitively, this separation makes sense. For example, the first compiler derived from an interpreter using Peter Landin s Applicative Expressions was based on the results of an implicit binding time analysis [25]. Today the TML approach is based on an explicit binding time analysis [28] State of the art From the point of view of partial evaluation, which in essence processes static semantics [35] existing semanticsdirected compiler generators suffer from the same problem of not processing the static ....

F. L. Morris. The next 700 formal language descriptions. Unpublished paper, 1970.

No context found.

F. L. Morris. The next 700 formal language descriptions. Manuscipt, 1970.

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