Nothing Special   »   [go: up one dir, main page]

skip to main content
article
Free access

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

Published: 01 June 1982 Publication History

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).
[2]
R.S. Glanville, A Machine Independent Algorithm for Code Generation and its use in Retargetable Compilers, PhD Thesis, University of California, Berkeley, 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]
R.G. Cattell, Formalization and Automatic Derivation of Code Generators, PhD Thesis, Carnegie-Mellon University, 1978.
[7]
W. Barrett and J. Couch, Compiler Construction: Theory and Practice SRA 1979.
[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).
[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.
[10]
B. Leverett and T. Szymanski, Chaining Span-Dependent Jump Instructions ACM Trans. Program. Lang. Syst. 2, 3 (July 1980) 274-289.
[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

View all

Index Terms

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

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM SIGPLAN Notices
    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
    • cover image ACM Conferences
      SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction
      June 1982
      357 pages
      ISBN:0897910745
      DOI:10.1145/800230

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 June 1982
    Published in SIGPLAN Volume 17, Issue 6

    Check for updates

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)106
    • Downloads (Last 6 weeks)21
    Reflects downloads up to 23 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)BibliographyEngineering a Compiler10.1016/B978-0-12-815412-0.00023-1(793-813)Online publication date: 2023
    • (2023)Instruction SelectionEngineering a Compiler10.1016/B978-0-12-815412-0.00017-6(575-616)Online publication date: 2023
    • (2012)BibliographyEngineering a Compiler10.1016/B978-0-12-088478-0.00024-4(765-785)Online publication date: 2012
    • (2006)Automating the selection of code templatesSoftware: Practice and Experience10.1002/spe.438015050915:5(503-514)Online publication date: 30-Oct-2006
    • (2003)Engineering a CompilerundefinedOnline publication date: 11-Dec-2003
    • (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
    • (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
    • (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
    • (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
    • (1984)Experience with a Graham-Glanville style code generatorACM SIGPLAN Notices10.1145/502949.50287619:6(13-24)Online publication date: 1-Jun-1984
    • Show More Cited By

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media