The scheme 311 compiler an exercise in denotational semantics

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The scheme 311 compiler an exercise in denotational semantics

Full text

Pdf (596 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1984 ACM Symposium on LISP and functional programming table of contents

Austin, Texas, United States

Pages: 356 - 364

Year of Publication: 1984

ISBN:0-89791-142-3

Author

William Clinger

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 33, Citation Count: 15

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800055.802052 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Urs Amman, P Nori, K Jensen, H Nageli, "The Pascal (P) compiler implementation notes", Institut für Informatik, Eidgenossische Technische Hochschule, Zurich, 1975.
	2	Rodney A. Brooks , Richard P. Gabriel , Guy L. Steele, Jr., An optimizing compiler for lexically scoped LISP, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.261-275, June 23-25, 1982, Boston, Massachusetts, United States
	3	R M Burstall and P J Landin, "Programs and their proofs: an algebraic approach", Machine Intelligence 4, 1969, pages 17-44.
	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.
	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.
	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.
	7	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	8	Joseph Y. Halpern , Albert R. Meyer , B. A. Trakhtenbrot, The semantics of local storage, or what makes the free-list free?(Preliminary Report), Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.245-257, January 15-18, 1984, Salt Lake City, Utah, United States [doi>10.1145/800017.800536]
	9	Scott Kamins, "Macintosh BASIC ", Byte 9, 4, April 1984, pages 318-330.
	10	Larry M. Masinter , L. Peter Deutsch, Local optimization in a compiler for stack-based Lisp machines, Proceedings of the 1980 ACM conference on LISP and functional programming, p.223-230, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802810]
	11	Robert Milne , C. Strachey, A Theory of Programming Language Semantics, Halsted Press, New York, NY, 1977
	12	R Milner and R Weyrauch, "Proving compiler correctness in a mechanized logic", Machine Intelligence 7, 1972, pages,51-72.
	13	F. Lockwood Morris, Advice on structuring compilers and proving them correct, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.144-152, October 01-03, 1973, Boston, Massachusetts [doi>10.1145/512927.512941]
	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.
	15	Steven S. Muchnick , Uwe F. Pleban, A semantic comparison of LISP and SCHEME, Proceedings of the 1980 ACM conference on LISP and functional programming, p.56-64, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802790]
	16	James Bodwin , Laurette Bradley , Kohji Kanda , Diane Litle , Uwe Pleban, Experience with an experimental compiler generator based on denotational semantics, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.216-229, June 23-25, 1982, Boston, Massachusetts, United States
	17	Wolfgang Polak, Compiler Specification and Verification, Springer-Verlag New York, Inc., Secaucus, NJ, 1981
	18	Martin R. Raskovsky, Denotational semantics as a specification of code generators, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.230-244, June 23-25, 1982, Boston, Massachusetts, United States
	19	Jonathan A. Rees , Norman I. Adams IV, T: a dialect of Lisp or LAMBDA: The ultimate software tool, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.114-122, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802142]
	20	Brian Cantwell Smith, Reflection and semantics in LISP, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.23-35, January 15-18, 1984, Salt Lake City, Utah, United States [doi>10.1145/800017.800513]
	21	Guy L. Steele, Jr., Rabbit: A Compiler for Scheme, Massachusetts Institute of Technology, Cambridge, MA, 1978
	22	Guy Lewis Steele, Jr., Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO, Proceedings of the 1977 annual conference, p.153-162, January 1977 [doi>10.1145/800179.810196]
	23	Guy L. Steele, Jr., An overview of COMMON LISP, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.98-107, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802140]
	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.
	25	Gerald Jay Sussman and Guy Lewis Steele Jr, "Scheme: an interpreter for extended lambda calculus", MIT Artificial Intelligence Laboratory Memo 349, December 1975.
	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.
	27	James W. Thatcher , Eric G. Wagner , Jesse B. Wright, More on Advice on Structuring Compilers and Proving Them Correct, Proceedings of the 6th Colloquium, on Automata, Languages and Programming, p.596-615, July 16-20, 1979
	28	Mitchell Wand, Semantics-directed machine architecture, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.234-241, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582179]
	29	Mitchell Wand, Deriving Target Code as a Representation of Continuation Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.496-517, July 1982 [doi>10.1145/357172.357179]
	30	Mitchell Wand, Loops in combinator-based compilers, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.190-196, January 24-26, 1983, Austin, Texas [doi>10.1145/567067.567086]

CITED BY 15

	Mitchell Wand, Compiler correctness for parallel languages, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.120-134, June 26-28, 1995, La Jolla, California, United States
	Mitchell Wand , Dino P. Oliva, Proving the correctness of storage representations, ACM SIGPLAN Lisp Pointers, v.V n.1, p.151-160, Jan. 1992
	William D. Clinger , Lars Thomas Hansen, Lambda, the ultimate label or a simple optimizing compiler for Scheme, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.128-139, July-Sept. 1994
	Guy L. Steele, Jr. , Richard P. Gabriel, The evolution of Lisp, ACM SIGPLAN Notices, v.28 n.3, p.231-270, March 1993
	Julian Padget , Jérôme Chailloux , Thomas Christaller , Ramon DeMantaras , Jeff Dalton , Matthieu Devin , John Fitch , Timm Krumnack , Eugen Neidl , Eric Papon , Stephen Pope , Christian Queinnec , Luc Steels , Herbert Stoyan, Desiderata for the standardization of LISP, Proceedings of the 1986 ACM conference on LISP and functional programming, p.54-66, August 1986, Cambridge, Massachusetts, United States
	Hanne R. Nielson , Flemming Neilson, Semantics directed compiling for functional languages, Proceedings of the 1986 ACM conference on LISP and functional programming, p.249-257, August 1986, Cambridge, Massachusetts, United States
	Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, ACM SIGPLAN Notices, v.28 n.6, p.237-247, June 1993
	William D. Clinger, Proper tail recursion and space efficiency, ACM SIGPLAN Notices, v.33 n.5, p.174-185, May 1998
	Mark B. Wells , Margaret A. Hug , Rollo Silver, Libraries as programs preserved within compiler continuations, ACM SIGPLAN Notices, v.20 n.7, p.83-91, July 1985
	Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Guy L. Steele , Richard P. Gabriel, The evolution of Lisp, History of programming languages---II, ACM Press, New York, NY, 1996
	Ozan S. Yigit, Readings in scheme, ACM SIGPLAN Lisp Pointers, v.2 n.1, p.56-61, July-August-September 1988
	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams, IV , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand , William Clinger , Jonathan Rees, Revised report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, v.IV n.3, p.1-55, July, 1991
	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986
	John D. Ramsdell, The Tail-Recursive SECD Machine, Journal of Automated Reasoning, v.23 n.1, p.43-62, July 1999