- 1.Urs Amman, P Nori, K Jensen, H Nageli, "The Pascal (P) compiler implementation notes", Institut für Informatik, Eidgenossische Technische Hochschule, Zurich, 1975.Google Scholar
- 2.Rodney A Brooks, Richard P Gabriel, and Guy L Steele Jr, "An optimizing compiler for lexically scoped Lisp", in the Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, June 1982, pages 261-275. Google ScholarDigital Library
- 3.R M Burstall and P J Landin, "Programs and their proofs: an algebraic approach", Machine Intelligence 4, 1969, pages 17-44.Google Scholar
- 4.Henning Christiansen and Neil Jones, "Control flow treatment in a simple semantics-directed compiler generator", Formal Description of Programming Concepts II (Preliminary Proceedings), IFIP TC-2 Working Conference, Garmisch-Partenkirchen, June 1982, pages 38-62.Google Scholar
- 5.Carol Fessenden, William Clinger, Daniel P Friedman, and Christopher Haynes, "Scheme 311 Version 4 Reference Manual", Indiana University Computer Science Technical Report 137, February 1983.Google Scholar
- 6.Daniel P Friedman, Christopher T Haynes, Eugene Kohlbecker, and Mitchell Wand, "Scheme 84 Version 0 Programming Language Reference Manual ", Indiana University Computer Science Technical Report 153, February 1984.Google Scholar
- 7.A Goldberg and D Robson, Smalltalk-80: The Language and its Implementation, Addison-Wesley, 1983. Google ScholarDigital Library
- 8.Joseph Y Halpern, Albert R Meyer, B A Trakhtenbrot, "The semantics of local storage, or what makes the free-list free? (preliminary report)", ACM Symposium on Principles of Programming Languages, 1984, pages 245-257. Google ScholarDigital Library
- 9.Scott Kamins, "Macintosh BASIC ", Byte 9, 4, April 1984, pages 318-330.Google Scholar
- 10.Larry M Masinter and L Peter Deutsch, "Local optimization in a compiler for stack-based Lisp machines", Conference Record of the 1980 Lisp Conference, August 1980, pages 223-230. Google ScholarDigital Library
- 11.Robert Milne and Christopher Strachey, A Theory of Programming Language Semantics, Halstead Press, 1976. Google ScholarDigital Library
- 12.R Milner and R Weyrauch, "Proving compiler correctness in a mechanized logic", Machine Intelligence 7, 1972, pages,51-72.Google Scholar
- 13.F L Morris, "Advice on structuring compilers and proving them correct", ACM Symposium on Programming Languages, 1973, pages 144-162. Google ScholarDigital Library
- 14.Peter Mosses, "Abstract semantic algebras!", Formal Description of Programming Concepts II(Preliminary Proceedings), IFIP TC-2 Working Conference, Garmisch-Partenkirchen, June 1982, pages 63-88.Google Scholar
- 15.Steven S Muehnik and Uwe Pleban, "A semantic comparison of Lisp and Scheme ", Conference Record of the 1980 Lisp Conference, 1980, pages 56-64. Google ScholarDigital Library
- 16.James Bodwin, Laurette Bradley, Kohji Kanda, Diane Litle, and Uwe Pleban, "Experience with an experimental compiler generator based on denotational semantics", Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, June 1982, pages 216-229. Google ScholarDigital Library
- 17.Wolfgang Polak, Compiler Specification and Verification, Springer-Verlag Lecture Notes in Computer Science 124, 1981. Google ScholarDigital Library
- 18.Martin R Raskovsky, "Denotational semantics as a specification of code generators ", Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, June 1982, pages 230-244. Google ScholarDigital Library
- 19.Jonathan A Rees and Norman I Adams IV, "T: a dialect of Lisp; or Lambda: the ultimate software tool", ACM Symposium an Lisp and Functional Programming, 1982, pages 114-122. Google ScholarDigital Library
- 20.Brian Cantwell Smith, "Reffection and semantics in Lisp ", Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, January 1984, pages 23-35. Google ScholarDigital Library
- 21.Guy Lewis Steele Jr, "Rabbit: a compiler for Scheme {..}", MIT Artificial Intelligence Laboratory Technical Report 472, May 1978. Google ScholarDigital Library
- 22.Guy Lewis Steele Jr, "Debunking the "Expensive Procedure Call" myth; or, procedure call implementations considered harmful; or LAMBDA: the ultimate GOTO", ACM-77, 1977, pages 153-162. Google ScholarDigital Library
- 23.Guy L Steele, "An overview of Common Lisp", ACM Symposium on Lisp and Functional Programming, 1982, pages 98-107. Google ScholarDigital Library
- 24.Guy Lewis Steele Jr and Gerald Jay Sussman, "The revised report on Scheme, a dialect of Lisp ", MIT Artificial Intelligence Laboratory Memo 452, January 1978.Google Scholar
- 25.Gerald Jay Sussman and Guy Lewis Steele Jr, "Scheme: an interpreter for extended lambda calculus", MIT Artificial Intelligence Laboratory Memo 349, December 1975.Google Scholar
- 26.Gerald J Sussman, Jack Holloway, Guy L Steele, and Alan Bell, "Scheme-79—Lisp on a chip", IEEE Computer 14, 7, July 1981, pages 10-21.Google ScholarDigital Library
- 27.James W Thatcher, Erie G Wagner, and Jesse B Wright, "More on advice on structuring compilers and proving them correct", in H A Maurer {ed}, Automata, Languages, and Programming, 6th Colloquium, Graz, July 1979, Springer-Verlag Lecture Notes in Computer Science 71, pages 596-615. Google Scholar
- 28.Mitchell Wand, "Semantics-directed machine architecture", ACM Symposium on Principles of Programming Languages, 1982, pages 234-241. Google ScholarDigital Library
- 29.Mitchell Wand, "Deriving target code as a representation of continuation semantics", ACM Transactions on Programming Languages and Systems 4, 3, July 1982, pages 496-517. Google ScholarDigital Library
- 30.Mitchell Wand, "Loops in combinator-based compilers ", ACM Symposium on Principles of Programming Languages, 1983, pages 190-196. Google ScholarDigital Library
Index Terms
- The scheme 311 compiler an exercise in denotational semantics
Recommendations
Experience with an experimental compiler generator based on denotational semantics
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionCompiler generation based on formal semantics has received considerable attention in recent years from a number of semanticists. Compiler writers, on the other hand, know relatively little about these efforts. This paper tries to remedy this situation ...
Comments