Cogen in six lines

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 6, 1996, Pages 180-188

  Thiemann, Peter J ^a  

^a UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

Continuations; Multi level computation; Partial evaluation

Indexed keywords

EID: 17144432294     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/232629.232647     Document Type: Article

References (31)

1. L. O. Andersen. Self-applicable C program specialization. In C. Consel, editor, Workshop Partial Evaluation and Semantics-Based Program Manipulation '92, pages 54-61, San Francisco, CA, June 1992. Yale University. Report YALEU/DCS/RR-909.
2. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, Dept. of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 København Ø, May 1994.
3. L. Birkedal and M. Welinder. Partial evaluation of Standard ML. Rapport 93/22, DIKU, University of Copenhagen, 1993.
4. A. Bondorf. Automatic autoprojection of higher order recursive equations. Science of Programming, 17:3-34, 1991.
5. A. Bondorf. Improving binding-times without explicit CPS conversion. In Proc. Conference on Lisp and Functional Programming, pages 1-10, San Francisco, CA, USA, June 1992.
6. A. Bondorf. Similix 5.0 Manual DIKU, University of Copenhagen, May 1993.
7. A. Bondorf and O. Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Programming, 19(2):151-195, 1991.
8. A. Bondorf and D. Dussart. Improving CPS-based partial evaluation: Writing cogen by hand. In P. Sestoft and H. Søndergaard, editors, Workshop Partial Evaluation and Semantics-Based Program Manipulation '94, pages 1-10, Orlando, Fla., June 1994. ACM.
9. A. Bondorf and J. Jørgensen. Efficient analysis for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315-346, July 1993.
10. C. Consel and O. Danvy. For a better support of static data flow. In Hughes [18], pages 496-519. LNCS 523.
11. C. Consel and O. Danvy. Tutorial notes on partial evaluation. In Proc. 20th ACM Symposium on Principles of Programming Languages, pages 493-501, Charleston, South Carolina, Jan. 1993. ACM Press.
12. O. Danvy and A. Filinski. Abstracting control. In Proc. Conference on Lisp and Functional Programming, pages 151-160, Nice, France, 1990. ACM.
13. A. de Niel. Self-Applicable Partial Evaluation of Polymorphically Typed Functional Languages. PhD thesis, Katholieke Universiteit Leuven, Leuven, Belgium, Jan. 1993.
14. A. Filinski. Representing monads. In Proc. 21st ACM Symposium on Principles of Programming Languages, pages 446-457, Portland, OG, Jan. 1994. ACM Press.
15. Y. Futamura. Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45-50, 1971.
16. R. Glück and J. Jørgensen. Efficient multi-level generating extensions for program specialization. In D. Swierstra and M. Hermenegildo, editors, Programming Languages, Implementations, Logics, and Programs (PLILP '95), Utrecht, The Netherlands, Sept. 1995. Springer-Verlag.
17. C. K. Holst. Syntactic currying, student report, DIKU, 1989.
18. J. Hughes, editor. Functional Programming Languages and Computer Architecture, Cambridge, MA, 1991. Springer-Verlag. LNCS 523.
19. Institute of Electrical and Electronic Engineers, Inc. IEEE standard for the Scheme programming language. IEEE Std 1178-1990, New York, NY, 1991.
20. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
21. R. A. Kelsey and J. Rees. A tractable Scheme implementation. Lisp and Symbolic Computation, 7(4):315-335, 1994.
22. J. Launchbury. A strongly-typed self-applicable partial evaluator. In Hughes [18], pages 145-164. LNCS 523.
23. J. Launchbury and C. K. Holst. Handwriting cogen to avoid problems with static typing. In Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming, pages 210-218, Skye, Scotland, 1991. Glasgow University.
24. J. Lawall and O. Danvy. Continuation-based partial evaluation. In Proc. Conference on Lisp and Functional Programming, pages 227-238, Orlando, Fla, USA, June 1994. ACM Press.
25. J. Lawall and O. Danvy. Continuation-based partial evaluation. Extended version of [24] from ftp://ftp.daimi.aau.dk/pub/danvy/Papers/, Jan. 1995.
26. T. Æ. Mogensen. Efficient self-interpretation in lambda calculus. Journal of Functional Programming, 2(3):345-364, July 1992.
27. T. E. Mogensen. Self-applicable online partial evaluation of pure lambda calculus. In Scherlis [29], pages 39-44.
28. F. Pfenning and C. Elliot. Higher-order abstract syntax. In Proc. Conference on Programming Language Design and Implementation '88, pages 199-208, Atlanta, July 1988. ACM.
29. W. Scherlis, editor. A CM SIGPLAN Symp. Partial Evaluation and Semantics-Based Program Manipulation '95, La Jolla, CA, June 1995. ACM Press.
30. M. Sperber. Self-applicable online partial evaluation. Submitted for publication, Dec. 1995.
31. M. Sperber and P. Thiemann. The essence of LR parsing. In Scherlis [29], pages 146-155.