Compiling embedded programs to byte code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2257, Issue , 2002, Pages 120-136

  Rhiger, Morten ^a,b  

^a AALBORG UNIVERSITY   (Denmark)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

Domain specific language; Embedded language; Just in time compilation; OCaml

Indexed keywords

CODES (SYMBOLS); JUST IN TIME PRODUCTION; LISP (PROGRAMMING LANGUAGE); PROBLEM ORIENTED LANGUAGES; XML;

COMBINATORS; DOMAIN SPECIFIC LANGUAGES; EMBEDDED DOMAIN SPECIFIC LANGUAGES; EMBEDDED LANGUAGES; FUNCTIONAL LANGUAGES; JUST-IN-TIME COMPILATION; OCAML; TYPE SYSTEMS;

C (PROGRAMMING LANGUAGE);

EID: 84947227816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45587-6_9     Document Type: Conference Paper

References (35)

1. Vincent Balat and Olivier Danvy. Strong normalization by type-directed partial evaluation and run-time code generation. In Xavier Leroy and Atsushi Ohori, editors, Proceedings of the Second International Workshop on Types in Compilation, number 1473 in Lecture Notes in Computer Science, pages 240–252, Kyoto, Japan, March 1998. 132
2. Thomas Ball, editor. Proceedings of the Second USENIX Conference on Domain- Specific Languages, Austin, Texas, October 1999. 120
3. Alan Bawden. Quasiquotation in Lisp. In Olivier Danvy, editor, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, number NS–99–1 in BRICS Note Series, pages 4–12, San Antonio, Texas, January 1999. 128, 132
4. Charles Consel and Francois Noel. A general approach for run-time specialization and its application to C. In Steele [34], pages 145–156. 133
5. Olivier Danvy. Type-directed partial evaluation. In John Hatcliff, Torben Æ. Mogensen, and Peter Thiemann, editors, Partial Evaluation – Practice and Theory; Proceedings of the 1998 DIKU Summer School, number 1706 in Lecture Notes in Computer Science, pages 367–411, Copenhagen, Denmark, July 1998. S pringer- Verlag. 133
6. Olivier Danvy. Programming techniques for partial evaluation. In Friedrich L. Bauer and Ralf Steinbr¨uggen, editors, Foundations of Secure Computation, NATO Science series, pages 287–318. I OS Press Ohmsha, 2000. 133
7. O livier Danvy and Lasse R. Nielsen. Defunctionalization at work. In Harald Søndergaard, editor, Proceedings of the Third International Conference on Principles and Practice of Declarative Programming, Firenze, Italy, September 2001. A CM Press. To appear. 122
8. Rowan Davies. A temporal-logic approach to binding-time analysis. In Edmund M. Clarke, editor, Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 184–195, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press. 134
9. Rowan Davies and Frank Pfenning. A modalan alysis of staged computation. In Steele [34], pages 258–283. 134
10. Rowan Davies and Frank Pfenning. A modalan alysis of staged computation. Technicalrep ort CMU–CS–99–153, Schoolof Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, 1999. To appear in JACM. 134
11. Premkumar Devanbu and Jeff Poulin, editors. Proceedings of the Fifth International Conference on Software Reuse, Victoria, British Columbia, June 1998. I EEE Computer Society Press. 136
12. Conal Elliott, Sigbjorn Finne, and Oege de Moor. Compiling embedded languages. In Walid Taha, editor, Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation, number 1924 in Lecture Notes in Computer Science, pages 9–27, Montréal, Canada, September 2000. 121, 132
13. Dawson R. Engler, Wilson C. Hsieh, and M. Frans Kaashoek. ‘C: A language for high-level, efficient, and machine-independent dynamic code generation. In Steele [34], pages 131–144. 133
14. Joseph H. Fasel, Paul Hudak, Simon Peyton Jones, and Philip Wadler. Haskell specialissu e. SIGPLAN Notices, 27(5), May 1992. 121
15. Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones. Calling hell from heaven and heaven from hell. In Peter Lee, editor, Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 114– 125, Paris, France, September 1999. A CM Press. 121
16. Yoshihiko Futamura. Partialev aluation of computation process – an approach to a compiler-compiler. Higher-Order and Symbolic Computation, 12(4):381–391, 1999. R eprinted from Systems, Computers, Controls 2(5), 1971. 128
17. R obert Harper. Proof-directed debugging. Journal of Functional Programming, 9(4):463–469, July 1999. 122
18. Jason Hickey. Nuprl-light: An implementation framework for higher-order logics. In William McCune, editor, 14th International Conference on Automated Deduction, number 1249 in Lecture Notes in Artificial Intelligence, pages 395–399. S pringer- Verlag, 1997. 131, 134
19. Jason J. Hickey and Aleksey Nogin. Fast tactic-based theorem proving. In J. Harrison and M. Aagaard, editors, Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science, pages 252–266. S pringer-Verlag, 2000. 131
20. Paul Hudak. Modular domain specific languages and tools. In Devanbu and Poulin [11], pages 134–142. 121
21. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice HallIn ternationalSe ries in Computer Science. Prentice-Hall, 1993. A vailable online at http://www.dina.kvl.dk/~sestoft/pebook/pebook.html. 128
22. Simon Peyton Jones, Erik Meijer, and Daan Leijen. Scripting COM components in Haskell. In Devanbu and Poulin [11], pages 224–233. 121
23. Peter J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157–166, 1966. 120
24. D aan Leijen and Erik Meijer. Domain specific embedded compilers. In Thomas Ball, editor, Proceedings of the 2nd USENIX Conference on Domain-Specific Languages, pages 109–122, 1999. 121
25. Mark Leone and Peter Lee. Lightweight run-time code generation. In Peter Sestoft and Harald Søndergaard, editors, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, TechnicalRe port 94/9, University of Melbourne, Australia, pages 97–106, Orlando, Florida, June 1994. 133
26. Mark Leone and Peter Lee. Optimizing ML with run-time code generation. In Proceedings of the ACM SIGPLAN’96 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 31, No 5, pages 137–148. ACM Press, May 1996. 133
27. Xavier Leroy. The Objective Caml system, release 3.01. I NRIA, Rocquencourt, France, March 2001. 121
28. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997. 121
29. Lockwood Morris. The next 700 formall anguage descriptions. Lisp and Symbolic Computation, 6(3/4):249–258, 1993. 120, 133
30. Frank Pfenning and Conal Elliott. Higher-order abstract syntax. In Mayer D. Schwartz, editor, Proceedings of the ACM SIGPLAN’88 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 23, No 7, pages 199–208, Atlanta, Georgia, June 1988. A CM Press. 127
31. Chris Ramming, editor. Proceedings of the First USENIX Conference on Domain- Specific Languages, Santa Barbara, California, October 1997. 120
32. Morten Rhiger. Higher-Order Program Generation. PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, July 2001. 121, 128, 133
33. MichaelS perber and Peter Thiemann. Two for the price of one: composing partial evaluation and compilation. In Ron K. Cytron, editor, Proceedings of the ACM SIGPLAN’97 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 32, No 5, pages 215–225, Las Vegas, Nevada, June 1997. A CM Press. 132
34. Guy L. Steele, editor. Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, January 1996. A CM Press. 135
35. Peter Thiemann. Combinators for program generation. Journal of Functional Programming, 9(5):483–525, 1999. 132