Metacomputation-based compiler a rchitecture

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

Volumn 1837, Issue , 2000, Pages 213-229

  Harrison, William L ^a   Kamin, Samuel N ^b  

^a INDIANA UNIVERSITY   (United States)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

Compilers; Monad Transformers; Monads; Partial Evaluation; Pass Separation; Programming Language Semantics; Semantics Based Compilation

Indexed keywords

SEMANTICS; SPECIFICATIONS;

BLOCK STRUCTURED; IMPERATIVE FEATURES; LANGUAGE CONSTRUCTS; LANGUAGE SPECIFICATION; MONAD TRANSFORMERS; MONADS; PARTIAL EVALUATION; PROGRAMMING LANGUAGE SEMANTICS;

PROGRAM COMPILERS;

EID: 84976498283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722010_14     Document Type: Conference Paper

References (25)

1. A. V. Aho, R. Sethi, and J. D.. Ullman Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986.
2. A. Appel, Modern Compiler Implementation in ML, Cambridge University Press, New York, 1998.
3. A. Appel, Compiling with Continuations, Cambridge University Press, New York, 1992.
4. O. Danvy, “Type-Directed Partial Evaluation,” Proceedings of the ACM Conference on the Principles of Programming Languages, 1996.
5. O. Danvy and R. Vestergaard, “Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation,” Eighth International Symposium on Programming Language Implementation and Logic Programming, 1996, pages 182-197.
6. R. Davies and F. Pfenning, “A Modal Analysis of Staged Computation,” Proceedings of the ACM Conference on the Principles of Programming Languages, 1996.
7. D. Espinosa, “Semantic Lego,” Doctoral Dissertation, Columbia University, 1995.
8. W. Harrison and S. Kamin, “Modular Compilers Based on Monad Transformers,” Proceedings of the IEEE International Conference on Programming Languages, 1998, pages 122-131.
9. N. D. Jones, C. K. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall 1993.
10. U. Jorring and W. Scherlis, “Compilers and Staging Transformations,” Proceedings of the ACM Conference on the Principles of Programming Languages, 1986.
11. P. Lee, Realistic Compiler Generation, MIT Press, 1989.
12. S. Liang, “A Modular Semantics for Compiler Generation,” Yale University Department of Computer Science Technical Report TR-1067, February 1995.
13. S. Liang, P. Hudak, and M. Jones, Monad Transformers and Modular Interpreters. Proceedings of the ACM Conference on the Principles of Programming Languages, 1995.
14. S. Liang, “Modular Monadic Semantics and Compilation,” Doctoral Thesis, Yale University, 1997.
15. T. Mogensen. “Separating Binding Times in Language Specifications,” Proceedings of the ACM Conference on Functional Programming and Computer Architecture, pp 12-25, 1989.
16. E. Moggi, “Notions of Computation and Monads,” Information and Computation 93(1), pp. 55-92, 1991.
17. P. Mosses, Action Semantics, Cambridge University Press, 1992.
18. H. Nielson and F. Nielson, “Code Generation from two-level denotational metalanguages,” in Programs as Data Objects, Lecture Notes in Computer Science 217 (Springer, Berlin, 1986).
19. H. Nielson and F. Nielson, “Automatic Binding Time Analysis for a Typed λ- calculus,” Science of Computer Programming 10, 2 (April 1988), pp 139-176.
20. S. L. Peyton-Jones and Philip Wadler. “Imperative Functional Programming,” Twentieth ACM Symposium on Principles of Programming Languages, 1993.
21. J. Reynolds. “The Essence of Algol,” Algorithmic Languages, Proceedings of the International Symposium on Algorithmic Languages, pp. 345-372, 1981.
22. J. Reynolds, “Using Functor Categories to Generate Intermediate Code,” Proceedings of the ACM Conference on the Principles of Programming Languages, pages 25-36, 1995.
23. J. E. Stoy, Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977.
24. P. Wadler, “The essence of functional programming,” Proceedings of the ACM Conference on the Principles of Programming Languages, pages 1-14, 1992.
25. M. Wand, “Deriving Target Code as a Representation of Continuation Semantics,” ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3, pp. 496-517, 1982.