article

Open access

Generation of Compiler Symbol Processing Mechanisms from Specifications

Editor: Susan L. Graham Author:

Stephen P. ReissAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 5, Issue 2

Pages 127 - 163

https://doi.org/10.1145/69624.69625

Published: 01 April 1983 Publication History

PDF eReader

References

[1]

AHO, A.V., AND ULLMAN, J.D. Principles ~f Compiler Design. Addison-Wesley, Reading, Mass., 1977.

Crossref

Google Scholar

[2]

ALLEN, F.E., CARTER, J.L., HARRISON, W.H., LO~.WNER, P.G., TAPSCOTT, R.P., TREVlLLYAN, L.H., AND WEGMAN, M.N. The experimental compiling systems project. IBM Res. Rep. RC6718, IBM, Yorktown Heights, N.Y., 1977.

Google Scholar

[3]

FELOMAN, J., AND GRIES, D. Translator writing systems. Commun. ACM 11, 2 (Feb. 1968), 77-113.

Crossref

Google Scholar

[4]

INTERMETmCS. Red language design rationale. CRDL item 0002AD, Intermetics, Cambridge, Mass., Mar. 1979.

Google Scholar

[5]

JENSEN, K., AND WIRTH, N. Pascal User Manual and Report. Springer-Verlag, New York, 1978.

Crossref

Google Scholar

[6]

JOHNSON, S.C. YACC--Yet another compiler compiler. Tech. Rep. CSTR 32, Bell Laboratories, Murray Hill, N.J., 1974.

Google Scholar

[7]

KERNIGHAN, B.W., AND RITCHIE, D.M. The M4 macro processor. UNIX Manual. Bell Laboratories, July 1977.

Google Scholar

[8]

KOSTER, C.H.A. Using the CDL compiler-compiler. In Compiler Construction: An Advanced Course, F.L. Bauer and J. Eickel (Eds.). Springer-Verlag, New York, 1974, 366-426.

Crossref

Google Scholar

[9]

LAMPSON, B.W., HORmNG, J.J., LONDON, R.L., MITC~.LL, J.G., AND POPEK, G.L. Report on the programming language Euclid. SIGPLAN Notices (ACM) 12, 2 (Feb. 1977), 1-79.

Crossref

Google Scholar

[10]

LESK, M.E. LEX--A lexical analyzer generator. Tech. Rep. CSTR 39, Bell Laboratories, Murray Hi!i, N.J., 1975.

Google Scholar

[11]

LEV~RETT, B.W., CATT~LL, R.G.G., HOBBS, S.O., NEWCOMER, J.M., REINER, A.H., SCHATZ, B.R., AND WULF, W.A. An overview of the production quality compiler-compiler project. Res. Pep. CMU-CS-79-105, Dep. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Penn., Feb. 1979.

Google Scholar

[12]

McK~.EMAN, W.M. Compiler construction. In Compiler Construction: An Advanced Course, F.L. Bauer and J. Eickel (Eds.). Springer-Verlag, New York, 1974.

Google Scholar

[13]

McKEEMAN, W.M., HORNINC, J.J., AND WORTMAN, D.B. A Compiler Generator. Prentice-Hall, Englewood Cliffs, N.J., 1970.

Google Scholar

[14]

REISS, S.P. Automatic compiler production: The front end. Pes. Rep. 66, Dep. of Computer Science, Brown Univ., Providence, R.I., 1981.

Google Scholar

[15]

SCHWANKE, B. Survey of scope issues in programming languages. Res. Pep. CS-78-131, Carnegie~ Mellon Univ., Pittsburgh, Penn., June 1978.

Google Scholar

[16]

U.S. DEP. Ol~ DEFENSE. Reference Manual for the Ada Programming Language. July 1980.

Google Scholar

[17]

WIRTH, N. Modula: A language for modular multiprogramming. Sofiw. Pract. Exper. 7, 1 (Jan.-Feb. 1977), 3-35.

Google Scholar

Cited By

View all

Sathyanathan PHe WTzen TReddi VSmith ATang L(2017)Incremental whole program optimization and compilationProceedings of the 2017 International Symposium on Code Generation and Optimization10.5555/3049832.3049857(221-232)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3049832.3049857
Sathyanathan PHe WTzen T(2017)Incremental whole program optimization and compilation2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2017.7863742(221-232)Online publication date: Feb-2017
https://doi.org/10.1109/CGO.2017.7863742
Kastens UWaite W(2017)Name analysis for modern languages: a general solutionSoftware: Practice and Experience10.1002/spe.248947:11(1597-1631)Online publication date: 13-Mar-2017
https://doi.org/10.1002/spe.2489
Show More Cited By

Index Terms

Generation of Compiler Symbol Processing Mechanisms from Specifications
1. Software and its engineering
  1. Software notations and tools
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Compiler-based code generation and autotuning for geometric multigrid on GPU-accelerated supercomputers
Highlights
- Generate parallel CUDA code from sequential C input code using a compiler-based tool for key operators in Geometric Multigrid.
Abstract
GPUs, with their high bandwidths and computational capabilities are an increasingly popular target for scientific computing. Unfortunately, to date, harnessing the power of the GPU has required use of a GPU-specific programming model ...
Autotuning, code generation and optimizing compiler technology for gpus
An Operational Semantics and Compiler for Real-Time Specifications

The Modechart specification language is a formalism for the specification and implementation of real-time systems. This paper presents the semantics for Modechart in an operational style and a compiler for automatically synthesizing specifications. ...

Reviews

Reviewer: Martti J. Tienari

This is an interesting analysis of the roles of symbols in programming languages. A model of symbol processing is developed and is used to formalize the generation of the symbol processing portion of a compiler in a compiler generation system. The result can be viewed as a data abstraction for a compiler symbol table. Symbol table processing in a compiler has become complex as programming languages have evolved. However, scope rules are usually implemented by the symbol table routines without an illuminating formal analysis. An established formal basis for these aspects of language implementation would be most welcome. This paper is a pioneering work on formalizing scope issues of modern programming languages. One would sincerely hope that in the coming years we would be able to develop a clear and simple model for this purpose. The model put forward in this paper appears to be quite comprehehsive and complete. One gets the feeling that it is too complex and heavy. Who would improve and simplify the model__?__

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 5, Issue 2

April 1983

138 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/69624

Editor:
Susan L. Graham
Florida State University

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1983

Published in TOPLAS Volume 5, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
549
Total Downloads

Downloads (Last 12 months)90
Downloads (Last 6 weeks)11

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sathyanathan PHe WTzen TReddi VSmith ATang L(2017)Incremental whole program optimization and compilationProceedings of the 2017 International Symposium on Code Generation and Optimization10.5555/3049832.3049857(221-232)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3049832.3049857
Sathyanathan PHe WTzen T(2017)Incremental whole program optimization and compilation2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2017.7863742(221-232)Online publication date: Feb-2017
https://doi.org/10.1109/CGO.2017.7863742
Kastens UWaite W(2017)Name analysis for modern languages: a general solutionSoftware: Practice and Experience10.1002/spe.248947:11(1597-1631)Online publication date: 13-Mar-2017
https://doi.org/10.1002/spe.2489
Voufo LZalewski MLumsdaine AMagalhäes JRompf T(2014)Scoping rules on a platterProceedings of the 10th ACM SIGPLAN workshop on Generic programming10.1145/2633628.2633633(59-70)Online publication date: 26-Aug-2014
https://dl.acm.org/doi/10.1145/2633628.2633633
Poetzsch-Heffter A(2005)Implementing high-level identification specificationsCompiler Construction10.1007/3-540-55984-1_7(59-65)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-55984-1_7
Poetzsch-Heffter A(2005)Logic-based specification of visibility rulesProgramming Language Implementation and Logic Programming10.1007/3-540-54444-5_88(63-74)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-54444-5_88
Jourdan MParigot D(2005)Application development with the FNC-2 attribute grammar systemCompiler Compilers10.1007/3-540-53669-8_71(11-25)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-53669-8_71
Fritzson P(2005)Incremental symbol processingCompiler Compilers and High Speed Compilation10.1007/3-540-51364-7_2(11-38)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-51364-7_2
Klug M(1996)Towards a classification of visibility rulesACM SIGPLAN Notices10.1145/249094.24911631:1(44-50)Online publication date: 1-Jan-1996
https://dl.acm.org/doi/10.1145/249094.249116
Paakki J(1995)Attribute grammar paradigms—a high-level methodology in language implementationACM Computing Surveys10.1145/210376.19740927:2(196-255)Online publication date: 1-Jun-1995
https://dl.acm.org/doi/10.1145/210376.197409
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

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

References

Cited By

Index Terms

Recommendations

Compiler-based code generation and autotuning for geometric multigrid on GPU-accelerated supercomputers

Autotuning, code generation and optimizing compiler technology for gpus

An Operational Semantics and Compiler for Real-Time Specifications

Reviews

Access critical reviews of Computing literature here

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations