Boehm, H.-J. and Demers, A. Implementing Russel. In Proceedings of the ACM Sigplan Symposium on Compiler Construction, Sigplan Notices, 21, 7 (1986) 186--195. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
....and informal nature of most compilers; it is certainly not due to a lack of interest in the subject. Indeed many state of the art compilers for applicative higher order programming languages (Scheme, ML, Lisp, etc) use a CPS intermediate representation [3, 56, 82] and many others do not [7, 9, 12, 50, 59]. Informal or incomplete arguments regarding the relative advantages and disadvantages of the CPS intermediate representation with respect to other intermediate representations are also common: ffl The CPS transformation translates complicated control facilities in the source language, e.g. ....
Boehm, H.-J. and Demers, A. Implementing Russel. In Proceedings of the ACM Sigplan Symposium on Compiler Construction, Sigplan Notices, 21, 7 (1986) 186--195.
The Essence of Compiling with Continuations - Flanagan, Sabry, Duba, Felleisen (1993) (143 citations) (Correct)
....achieve the same results with a simple source level transformation. 1 Compiling with Continuations A number of prominent compilers for applicative higherorder programming languages use the language of continuation passing style (CPS) terms as their intermediate representation for programs [2, 14, 18, 19] This strategy apparently offers two major advantages. First, Plotkin [16] showed that the value calculus based on Supported in part by NSF grants CCR 89 17022 and CCR 91 22518 and Texas ATP grant 91 003604014. To appear in: 1993 Conference on Programming Language Design and ....
....style (CPS) terms as their intermediate representation for programs [2, 14, 18, 19] This strategy apparently offers two major advantages. First, Plotkin [16] showed that the value calculus based on Supported in part by NSF grants CCR 89 17022 and CCR 91 22518 and Texas ATP grant 91 003604014. To appear in: 1993 Conference on Programming Language Design and Implementation. June 21 25, 1993 Albuquerque, New Mexico the fi value rule is an operational semantics for the source language, that the conventional full calculus is a semantics for the intermediate language, and, most ....
[Article contains additional citation context not shown here]
Boehm, H.-J., and Demers, A. Implementing Russel. In Proceedings of the ACM SIGPLAN 1986 Symposium on Compiler Construction (1986), vol. 21(7), Sigplan Notices, pp. 186--195.
The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
....and informal nature of most compilers; it is certainly not due to a lack of interest in the subject. Indeed many state of the art compilers for applicative higher order programming languages (Scheme, ML, Lisp, etc) use a CPS intermediate representation [3, 56, 82] and many others do not [7, 9, 12, 50, 59]. Informal or incomplete arguments regarding the relative advantages and disadvantages of the 2 CPS intermediate representation with respect to other intermediate representations are also common: ffl The CPS transformation translates complicated control facilities in the source language, e.g. ....
Boehm, H.-J. and Demers, A. Implementing Russel. In Proceedings of the ACM Sigplan Symposium on Compiler Construction, Sigplan Notices, 21, 7 (1986) 186--195.
Reasoning about Programs in Continuation-Passing Style - Sabry, Felleisen (146 citations) (Correct)
No context found.
186--195. 7. Bondorf, A. Improving binding times without explicit CPS-conversion. In Proceedings of the ACM Conference on Lisp and Functional Programming
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