Article

Free access

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

Author:

Peter L. BirdAuthors Info & Claims

SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

Pages 44 - 55

https://doi.org/10.1145/800230.806979

Published: 01 June 1982 Publication History

PDF eReader

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

[1]

R.S. Glanville and S.L. Graham, A New Method for Compiler Code Generation, 5th ACM Symposium on Principles of Programming Languages (1978).

Digital Library

Google Scholar

[2]

R.S. Glanville, A Machine Independent Algorithm for Code Generation and its use in Retargetable Compilers, PhD Thesis, University of California, Berkeley, 1977.

Digital Library

Google Scholar

[3]

S.L. Graham, Table Driven Code Generation IEEE Computer (Aug. 1980) 25-34.

Google Scholar

[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).

Google Scholar

[5]

R.G. Cattell, A Survey and Critique of Some Models of Code Generation Department of Computer Science Report, Carnegie-Mellon University (November 1977).

Google Scholar

[6]

R.G. Cattell, Formalization and Automatic Derivation of Code Generators, PhD Thesis, Carnegie-Mellon University, 1978.

Digital Library

Google Scholar

[7]

W. Barrett and J. Couch, Compiler Construction: Theory and Practice SRA 1979.

Digital Library

Google Scholar

[8]

J.L. Hennessy and T.R. Gross, Code Generation and Reorganization in the Presence of Pipeline Constraints, 9th ACM Symposium on Principles of Programming Languages (1982).

Digital Library

Google Scholar

[9]

E. Robertson, Code generation and storage allocation for machines with Span dependent Instructions ACM Trans. Program. Lang. Syst. 1, 1 (July 1979) 71-83.

Digital Library

Google Scholar

[10]

B. Leverett and T. Szymanski, Chaining Span-Dependent Jump Instructions ACM Trans. Program. Lang. Syst. 2, 3 (July 1980) 274-289.

Digital Library

Google Scholar

[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).

Google Scholar

[12]

Pascal/VS Release 2.1, Program Product 5796-PNQ,# IBM Corporation.

Google Scholar

Cited By

View all

Lee PPleban U(1987)A realistic compiler generator based on high-level semantics: another progress reportProceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/41625.41651(284-295)Online publication date: 1-Oct-1987
https://dl.acm.org/doi/10.1145/41625.41651
Sobczak RMatthews MSlonim J(1985)Automatic code generation for microprocessor based systemsProceedings of the 1985 ACM SIGSMALL symposium on Small systems10.1145/317164.317172(64-69)Online publication date: 1-May-1985
https://dl.acm.org/doi/10.1145/317164.317172
Milos DPleban ULoegel GKennedy KVan Deusen MLandweber L(1984)Direct implementation of compiler specifications or the pascal p-code compiler revisitedProceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/800017.800531(196-207)Online publication date: 15-Jan-1984
https://dl.acm.org/doi/10.1145/800017.800531
Show More Cited By

Index Terms

An implementation of a code generator specification language for table driven code generators
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Source code generation

Recommendations

An implementation of a code generator specification language for table driven code generators
Proceedings of the 1982 SIGPLAN symposium on Compiler construction

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 ...
A code generator generator language
Proceedings of the 1979 SIGPLAN symposium on Compiler construction

Code generation has withstood attempts at automation for some time. This paper describes a non-procedural, problem-oriented language for expressing a code generator. The basis for the language is the description of the target machine as a finite-state ...
A code generator generator language
SIGPLAN '79: Proceedings of the 1979 SIGPLAN symposium on Compiler construction

Code generation has withstood attempts at automation for some time. This paper describes a non-procedural, problem-oriented language for expressing a code generator. The basis for the language is the description of the target machine as a finite-state ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

June 1982

357 pages

ISBN:0897910745

DOI:10.1145/800230

ACM SIGPLAN Notices Volume 17, Issue 6
Proceedings of the 1982 SIGPLAN symposium on Compiler construction
June 1982
347 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872726
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
539
Total Downloads

Downloads (Last 12 months)89
Downloads (Last 6 weeks)16

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lee PPleban U(1987)A realistic compiler generator based on high-level semantics: another progress reportProceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/41625.41651(284-295)Online publication date: 1-Oct-1987
https://dl.acm.org/doi/10.1145/41625.41651
Sobczak RMatthews MSlonim J(1985)Automatic code generation for microprocessor based systemsProceedings of the 1985 ACM SIGSMALL symposium on Small systems10.1145/317164.317172(64-69)Online publication date: 1-May-1985
https://dl.acm.org/doi/10.1145/317164.317172
Milos DPleban ULoegel GKennedy KVan Deusen MLandweber L(1984)Direct implementation of compiler specifications or the pascal p-code compiler revisitedProceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/800017.800531(196-207)Online publication date: 15-Jan-1984
https://dl.acm.org/doi/10.1145/800017.800531
Christopher THatcher PKukuk R(1984)Using dynamic programming to generate optimized code in a Graham-Glanville style code generatorACM SIGPLAN Notices10.1145/502949.50287719:6(25-36)Online publication date: 1-Jun-1984
https://dl.acm.org/doi/10.1145/502949.502877
Aigrain PGraham SHenry RMcKusick MPelegri-Llopart E(1984)Experience with a Graham-Glanville style code generatorACM SIGPLAN Notices10.1145/502949.50287619:6(13-24)Online publication date: 1-Jun-1984
https://dl.acm.org/doi/10.1145/502949.502876
Christopher THatcher PKukuk RVan Deusen MGraham S(1984)Using dynamic programming to generate optimized code in a Graham-Glanville style code generatorProceedings of the 1984 SIGPLAN symposium on Compiler construction10.1145/502874.502877(25-36)Online publication date: 17-Jun-1984
https://dl.acm.org/doi/10.1145/502874.502877
Aigrain PGraham SHenry RMcKusick MPelegri-Llopart EVan Deusen MGraham S(1984)Experience with a Graham-Glanville style code generatorProceedings of the 1984 SIGPLAN symposium on Compiler construction10.1145/502874.502876(13-24)Online publication date: 17-Jun-1984
https://dl.acm.org/doi/10.1145/502874.502876
(2023)BibliographyEngineering a Compiler10.1016/B978-0-12-815412-0.00023-1(793-813)Online publication date: 2023
https://doi.org/10.1016/B978-0-12-815412-0.00023-1
Cooper KTorczon L(2023)Instruction SelectionEngineering a Compiler10.1016/B978-0-12-815412-0.00017-6(575-616)Online publication date: 2023
https://doi.org/10.1016/B978-0-12-815412-0.00017-6
(2012)BibliographyEngineering a Compiler10.1016/B978-0-12-088478-0.00024-4(765-785)Online publication date: 2012
https://doi.org/10.1016/B978-0-12-088478-0.00024-4
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

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

A code generator generator language

A code generator generator language