A semantics-directed compiler generator

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A semantics-directed compiler generator

Full text

Pdf (974 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Albuquerque, New Mexico

Pages: 224 - 233

Year of Publication: 1982

ISBN:0-89791-065-6

Author

Lawrence Paulson

Stanford University and Computer Laboratory, University of Cambridge, U. K.

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 51, Citation Count: 25

Additional Information:

references cited by 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/582153.582178 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	Alfred V. Aho , Jeffrey D. Ullman, Principles of Compiler Design (Addison-Wesley series in computer science and information processing), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
	2	W. H. Burge. Recursive Programming Techniques. Addison-Wesley, 1976.
	3	Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
	4	Neil D. Jones, Semantics-Directed Compiler Generation: Proceedings, Springer-Verlag New York, Inc., Secaucus, NJ, 1980
	5	D. E. Knuth. Semantics of Context-Free Languages. Mathematical Systems Theory 2:127 -- 145, February, 1968.
	6	Ole Lehrmann Madsen, On defining semantics by means of extended attribute grammars, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.259-299, January 14-18, 1980
	7	Peter D. Mosses. Mathematical Semantics and Compiler Generation. PhD thesis, Oxford University, 1975.
	8	Lawrence Charles Paulson, A compiler generator for semantic grammars, 1982
	9	Kari-Jouko Räihä, Experiences with the compiler writing system HLP, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.350-362, January 14-18, 1980
	10	Martin Raskovsky. Step by Step Generation of a Compiler for Flow Diagram Language with Jumps. Technical Report CSM-42, Department of Computer Science, University of Essex, June, 1981.
	11	Ravi Sethi, Circular Expressions: Elimination of Static Environments, Proceedings of the 8th Colloquium on Automata, Languages and Programming, p.378-392, July 13-17, 1981
	12	David A. Watt, Ole L. Madsen. Extended Attribute Grammars. Technical Report DAIMI PB-105, Computer Science Department, Aarhus University, Denmark, November, 1979.
	13	David A. Watt, An extended attribute grammar for Pascal, ACM SIGPLAN Notices, v.14 n.2, p.60-74, February 1979 [doi>10.1145/954063.954071]

CITED BY 25

	Rodney Farrow, Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars, ACM SIGPLAN Notices, v.21 n.7, p.85-98, July 1986
	Jukka Paakki, Attribute grammar paradigms—a high-level methodology in language implementation, ACM Computing Surveys (CSUR), v.27 n.2, p.196-255, June 1995
	Harald Ganzinger , Robert Giegerich , Ulrich Möncke , Reinhard Wilhelm, A truly generative semantics-directed compiler generator, ACM SIGPLAN Notices, v.17 n.6, p.172-184, June 1982
	J. R. Rose, Refined types: highly differentiated type systems and their use in the design of intermediate languages, ACM SIGPLAN Notices, v.23 n.7, p.278-287, July 1988
	Martin R. Raskovsky, Denotational semantics as a specification of code generators, ACM SIGPLAN Notices, v.17 n.6, p.230-244, June 1982
	Uwe F. Pleban, Compiler prototyping using formal semantics, ACM SIGPLAN Notices, v.19 n.6, p.94-105, June 1984
	John Hannan, Operational semantics-directed compilers and machine architectures, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1215-1247, July 1994
	Ravi Sethi, Control Flow Aspects of Semantics-Directed Compiling, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.554-595, Oct. 1983
	Mitchell Wand, A semantic prototyping system, ACM SIGPLAN Notices, v.19 n.6, p.213-221, June 1984
	Anders Bondorf , Jens Palsberg, Compiling actions by partial evaluation, Proceedings of the conference on Functional programming languages and computer architecture, p.308-317, June 09-11, 1993, Copenhagen, Denmark
	Harald Ganzinger , Robert Giegerich, Attribute coupled grammars, ACM SIGPLAN Notices, v.19 n.6, p.157-170, June 1984
	R. Kelsey , P. Hudak, Realistic compilation by program transformation (detailed summary), Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.281-292, January 11-13, 1989, Austin, Texas, United States
	G. E. Kaiser, Incremental dynamic semantics for language-based programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.169-193, April 1989
	Don Milos , Uwe Pleban , George Loegel, Direct implementation of compiler specifications or the pascal p-code compiler revisited, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.196-207, January 15-18, 1984, Salt Lake City, Utah, United States
	Charles Consel , Olivier Danvy, Static and dynamic semantics processing, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.14-24, January 21-23, 1991, Orlando, Florida, United States
	Ulrik Jørring , William L. Scherlis, Compilers and staging transformations, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.86-96, January 01, 1986, St. Petersburg Beach, Florida
	Carsten K. Gomard, A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.2, p.147-172, April 1992
	John Hannan, Staging transformations for abstract machines, ACM SIGPLAN Notices, v.26 n.9, p.130-141, Sept. 1991
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, ACM SIGPLAN Notices, v.35 n.1, p.81-94, Jan. 2000
	P. Lee , U. Pleban, A realistic compiler generator based on high-level semantics: another progress report, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.284-295, January 21-23, 1987, Munich, West Germany
	G. A. Venkatesh , Charles N. Fischer, SPARE: A Development Environment for Program Analysis Algorithms, IEEE Transactions on Software Engineering, v.18 n.4, p.304-318, April 1992
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.7-7, October 03-05, 1999, Austin, Texas
	Andrew W. Appel, Semantics-directed code generation, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.315-324, January 14-16, 1985, New Orleans, Louisiana, United States
	Lloyd Allison, An Executable Prolog Semantics, ALGOL Bulletin
	R. Bahlke , B. Moritz , G. Snelting, A generator for language-specific debugging systems, ACM SIGPLAN Notices, v.22 n.7, p.92-101, July 1987

Collaborative Colleagues:

Lawrence Paulson: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player