Multi-stage programming with explicit annotations

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 1997, Pages 203-217

  Taha, Walid ^a   Sheard, Tim ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; PROGRAM COMPILERS; RESPONSE TIME (COMPUTER SYSTEMS);

ARBITRARY NUMBER; BINDING TIME ANALYSIS; DYNAMIC SEMANTIC; MULTI-STAGE PROGRAMMING; PRACTICAL ISSUES; PROGRAMMING STYLES; STATIC SEMANTICS; TYPECHECKING;

SEMANTICS; COMPUTER PROGRAMMING LANGUAGES;

BINDING TIME ANALYSIS; CROSS STAGE PERSISTENCE; EXPLICIT ANNOTATIONS; MULTI STAGE PROGRAMMING;

EID: 0030691229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258993.259019     Document Type: Conference Paper

References (32)

1. C. Consel and O. Danvy. For a better support of static data flow. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991 (Lecture Notes in Computer Science, Vol. 523), pages 496-519. New York: ACM, Berlin: Springer-Verlag, 1991.
2. Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 493-501, January 1993.
3. Roberto Di Cosmo. Isomorphisms of Types: from X-calculus to information retrieval and language design. Progress in Theoretical Computer Science. Birkhäuser, 1995.
4. Olivier Danvy. Type-directed partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 242-257, Florida, January 1996. New York: ACM.
5. Olivier Danvy, Karoline Malmkjaer, and Jens Pals-berg. The essence of eta-expansion in partial evaluation. LISP and Symbolic Computation 1(19), 1995.
6. th Annual IEEE Symposium on Logic in Computer Science, pages 184-195, New Brunswick, New Jersey, 27-30 July 1996. IEEE Computer Society Press.
7. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL '96), St.Petersburg Beach, Florida, January 1996.
8. Nachum Dershowitz. Computing with rewrite systems. Information and Control 65:122-157, 1985.
9. Robert Glück and Jesper Jørgensen. Efficient multilevel generating extensions for program specialization. In Programming Languages, Implementations, Logics and Programs (PLILP '95), Volume 982 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
10. Robert Glück and Jesper jørgensen. Fasting binding-time analysis for multi-level specialization. In PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics, Volume 1181 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
11. Carsten K. Gomard and Neil D. Jones. A partial evalua-tor for untyped lambda calculus. Journal of Functional Programming, l(l):21-69, 1991.
12. John Hatcliff and Robert Glück. Reasoning about hierarchies of online specialization systems. In Olivier Danvy, Robert Glück, and Peter Thiemann, editors, Partial Evaluation, Volume 1110 of Lecture Notes in Computer Science, pages 161-182. Springer-Verlag, 1996.
13. J. Roger Hindley and Jonathan P. Seldin. Introduction to Cobminators and λ-Calculus. Number 1 in London Mathematical Society Student Texts. Cambridge University Press, 1986.
14. Neil D. Jones. Mix ten years later. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut (Sigplan Notices, Vol. 26, no. 9, September 1991), pages 24-38. New York: ACM, New York: ACM, June 1995.
15. Neil D. Jones, Carsten K Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
16. Simon L. Peyton Jones and John Launchbury. Unboxed values as first class citizens in a non-strict functional language. In Functional Programming and Computer Architecture, September 91.
17. Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, and Tong Zhou. Calculating software generators from solution specifications. In TAPSOFT'95, Volume 915 of LNCS, pages 546-560. Springer-Verlag, 1995.
18. Richard B. Kieburtz, Laura McKinney, Jeffrey Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, and Lisa Walton. A software engineering experiment in software component generation. In 18th International Conference in Software Engineering, March 1996.
19. John Launchbury and Amr Sabry. Monadic state: Ax-iomatization and type safety. In Proceedings of the International Conference on Functional Programming, Amsterdam, June 1997.
20. Mark Leone and Peter Lee. Deferred compilation: The automation of run-time code generation. Technical Report CMU-CS-93-225, Carnegie Mellon University, Dec. 1993.
21. Michael Lowry, Andrew Philpot, Thomas Pressburger, and Ian Underwood. Amphion: Automatic programming for scientific subroutine libraries. NASA Science Information Systems Newsletter, 31:22-25, 1994.
22. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences 17:348-375, 1978.
23. Torben M. Mogensen. Efficient self-interpretation in lambda calculus. Functional Programming 2(3):345-364, July 1992.
24. F. Nielson. Correctness of code generation from a two-level meta-language. In B. Robinet and R. Wilhelm, editors, Proceedings of the European Symposium on Programming (ESOP 86), Volume 213 of LNCS pages 30-40, Saarbrücken, FRG, March 1986. Springer.
25. F. Nielson and H. R. Nielson. Two-Level Functional Languages. Number 34 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
26. G. D. Plotkin. Call-by-name, call-by-value- and the lambda-calculus. Theoretical Computer Science 1:125-159, 1975.
27. Tim Sheard. A type-directed, on-line partial evalua-tor for a polymorphic language. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation Amsterdam, June 1997.
28. Tim Sheard and Neal Nelson. Type safe abstractions using program generators. Technical Report OGI-TR-95-013, Oregon Graduate Institute of Science and Technology, 1995.
29. Tim Sheard and Mark Shields. Dynamic typing through staged type inference. In Proceedings of the Second ACM International Conference on Functional Programming jun 1997. (submitted).
30. Brian C. Smith. Reflection and Semantics in a Procedural Language. PhD thesis, Massachusetts Institute of Technology, January 1982.
31. Peter Thiemann. Towards partial evaluation of full Scheme. In Gregor Kiczales, editor, Reflection 96, pages 95-106, San Francisco, CA, USA, April 1996.
32. Wright and Felleisen. A syntactic approach to type soundness. Information and Computation (formerly Information and Control), 115, 1994.