An implementation of a code generator specification language for table driven code generators

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An implementation of a code generator specification language for table driven code generators

Full text

Pdf (844 KB)

Source

Symposium on Compiler Construction archive
Proceedings of the 1982 SIGPLAN symposium on Compiler construction table of contents

Boston, Massachusetts, United States

Pages: 44 - 55

Year of Publication: 1982

ISBN:0-89791-074-5

Also published in ...

Author

Peter L. Bird

Department of Computer and Communication Sciences and Computing Center, University of Michigan, Ann Arbor, Michigan

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 27, Citation Count: 7

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	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/800230.806979 What is a DOI?

ABSTRACT

This paper discusses an implementation of Glanville's code generator generator for producing a code generator for a production Pascal compiler on an Amdahl 470. We successfully replaced the hand written code generator of an existing compiler with one which was produced automatically from a formal specification. This paper first outlines Glanville's original scheme, then describes extensions which were necessary for generating code for a production compiler.

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	R. Steven Glanville , Susan L. Graham, A new method for compiler code generation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.231-254, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512785]
	2	Robert Steven Glanville, A machine independent algorithm for code generation and its use in retargetable compilers., 1977
	3	S.L. Graham, Table Driven Code Generation IEEE Computer (Aug. 1980) 25-34.
	4	M. Ganapathi and C.N. Fisher, A review of Automatic Code Generation Techniques Computer Science Tech. Report #407, Computer Science Dept. University of Wisconsin - Madison (January 1981).
	5	R.G. Cattell, A Survey and Critique of Some Models of Code Generation Department of Computer Science Report, Carnegie-Mellon University (November 1977).
	6	Roderic Geoffrey Galton Cattell, Formalization and automatic derivation of code generators., 1978
	7	William A. Barrett , Rodney M. Bates , David A. Gustafson , John D. Couch, Compiler construction: theory and practice (2nd ed.), SRA School Group, 1986
	8	John L. Hennessy , Thomas R. Gross, Code generation and reorganization in the presence of pipeline constraints, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.120-127, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582166]
	9	Edward L. Robertson, Code Generation and Storage Allocation for Machines with Span-Dependent Instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.71-83, July 1979 [doi>10.1145/357062.357067]
	10	Bruce W. Leverett , Thomas G. Szymanski, Chaining Span-Dependent Jump Instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.274-289, July 1980 [doi>10.1145/357103.357105]
	11	R.N. Faiman, Jr. and A.A. Kortesoja, An Optimizing Pascal Compiler IEEE Transactions on Software Engineering Vol SE-6, No. 6, (November 1980).
	12	Pascal/VS Release 2.1, Program Product 5796-PNQ,# IBM Corporation.

CITED BY 7

	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
	Thomas W. Christopher , Philip J. Hatcher , Ronald C. Kukuk, Using dynamic programming to generate optimized code in a Graham-Glanville style code generator, ACM SIGPLAN Notices, v.19 n.6, p.25-36, June 1984
	Mahadevan Ganapathi , Charles N. Fischer , John L. Hennessy, Retargetable Compiler Code Generation, ACM Computing Surveys (CSUR), v.14 n.4, p.573-592, Dec. 1982
	Philippe Aigrain , Susan L. Graham , Robert R. Henry , Marshall Kirk McKusick , Eduardo Pelegri-Llopart, Experience with a Graham-Glanville style code generator, ACM SIGPLAN Notices, v.19 n.6, p.13-24, June 1984
	Ronald Sobczak , Manton Matthews, Automatic code generation for microprocessor based systems, Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, p.64-69, May 1985, Danvers, Massachusetts, United States
	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
	Peter Lee , Uwe Pleban, On the use of LISP in implementing denotational semantics, Proceedings of the 1986 ACM conference on LISP and functional programming, p.233-248, August 1986, Cambridge, Massachusetts, United States