article

Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler

Author:

Yoshihiko FutamuraAuthors Info & Claims

Higher-Order and Symbolic Computation, Volume 12, Issue 4

Pages 381 - 391

https://doi.org/10.1023/A:1010095604496

Published: 01 December 1999 Publication History

Publisher Site

Abstract

This paper reports the relationship between formal description of semantics (i.e., interpreter) of a programming language and an actual compiler. The paper also describes a method to automatically generate an actual compiler from a formal description which is, in some sense, the partial evaluation of a computation process. The compiler-compiler inspired by this method differs from conventional ones in that the compiler-compiler based on our method can describe an evaluation procedure (interpreter) in defining the semantics of a programming language, while the conventional one describes a translation process.

References

[1]

1. Burstall, R.M. and Popplestone, R.J. POP-2 reference manual. Machine Intelligence (2) (1968) 205-249.

Google Scholar

[2]

2. Feldman, J.A. Formal Semantics for Computer-Oriented Languages. Technical Report, Comput. Ctr., Carnegie Institute of Technology, 1964.

Google Scholar

[3]

3. Lauer, P. Formal Definition of ALGOL 60. Technical Report TR 25.088, IBM Laboratory Vienna, 1968.

Google Scholar

[4]

4. Lombardi, L.A. Advances in Computers, Vol. 8. Academic Press, New York, 1967.

Google Scholar

[5]

5. McCarthy, J., Abrahams, P.W., Edwards, D.J., Hart, T.P., and Levin, M.I. LISP 1.5 Programmer's Manual, M.I.T. Press, 1962.

Digital Library

Google Scholar

[6]

6. Naur, P. (Ed.). Revised report on the algorithmic language ALGOL 60. Comm. of ACM (6) (January 1963) 1-17.

Digital Library

Google Scholar

[7]

7. Rutishauser, H. Description of ALGOL 60. Springer, 1967.

Google Scholar

[8]

8. Walk, K., Alber, K., Bandat, K., Bekic, H., Chroust, Gerhard, Kudielka, V., Oliva, P. and Zeisel, G. Abstract syntax and interpretation of PL/I. Technical Report TR 25.082, IBM Laboratory Vienna, 1968.

Google Scholar

Cited By

View all

Tian ZDe Roover CRumpe BShaikhha A(2023)Multi-Stage Vertex-Centric Programming for Agent-Based SimulationsProceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3624007.3624057(100-112)Online publication date: 22-Oct-2023
https://dl.acm.org/doi/10.1145/3624007.3624057
D'Souza MYou JLhoták OProkopec A(2023)TASTyTruffle: Just-in-Time Specialization of Parametric PolymorphismProceedings of the ACM on Programming Languages10.1145/36228537:OOPSLA2(1561-1588)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622853
Larose OKaleba SBurchell HMarr S(2023)AST vs. Bytecode: Interpreters in the Age of Meta-CompilationProceedings of the ACM on Programming Languages10.1145/36228087:OOPSLA2(318-346)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622808
Show More Cited By

Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
2. Theory of computation
  1. Semantics and reasoning

Recommendations

Compiler algorithm language (CAL): an interpreter and compiler
ACST'07: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology

We have designed a Compiler Algorithm Language (CAL) to provide compiler writers with a language which is close to actual algorithmic notation. In this work, we have developed an interpreter and debugger for CAL which can be used by researchers for ...
A Surprisingly Simple Lua Compiler
SBLP '21: Proceedings of the 25th Brazilian Symposium on Programming Languages

Dynamically-typed programming languages are often implemented using interpreters, which offer several advantages in terms of portability and flexibility of the implementation. However, as a language matures and its programs get bigger, programmers may ...
Fusing a Transformation Language with an Open Compiler

Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often resulting in half-completed ...

Comments

Information & Contributors

Information

Published In

cover image Higher-Order and Symbolic Computation

Higher-Order and Symbolic Computation Volume 12, Issue 4

December 1999

83 pages

ISSN:1388-3690

Issue’s Table of Contents

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 December 1999

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

94
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tian ZDe Roover CRumpe BShaikhha A(2023)Multi-Stage Vertex-Centric Programming for Agent-Based SimulationsProceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3624007.3624057(100-112)Online publication date: 22-Oct-2023
https://dl.acm.org/doi/10.1145/3624007.3624057
D'Souza MYou JLhoták OProkopec A(2023)TASTyTruffle: Just-in-Time Specialization of Parametric PolymorphismProceedings of the ACM on Programming Languages10.1145/36228537:OOPSLA2(1561-1588)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622853
Larose OKaleba SBurchell HMarr S(2023)AST vs. Bytecode: Interpreters in the Age of Meta-CompilationProceedings of the ACM on Programming Languages10.1145/36228087:OOPSLA2(318-346)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622808
Schütze LCastrillon JTanabe YSchütze LHirschfeld RIgarashi AMasuhara H(2023)Towards Virtual Machine Support for Contextual Role-Oriented Programming LanguagesProceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3605154.3605851(1-8)Online publication date: 17-Jul-2023
https://dl.acm.org/doi/10.1145/3605154.3605851
Wei GJia SGao RDeng HTan SBračevac ORompf TGrundy JPollock LPenta M(2023)Compiling Parallel Symbolic Execution with ContinuationsProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00116(1316-1328)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00116
Köster THerrmann LAndelfinger PUhrmacher A(2022)GPU-Accelerated Simulation Ensembles of Stochastic Reaction NetworksProceedings of the Winter Simulation Conference10.5555/3586210.3586426(2570-2581)Online publication date: 11-Dec-2022
https://dl.acm.org/doi/10.5555/3586210.3586426
Schütze LKummer CCastrillon J(2022)Guard the Cache: Dispatch Optimization in a Contextual Role-oriented LanguageProceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3570353.3570357(27-34)Online publication date: 7-Jun-2022
https://dl.acm.org/doi/10.1145/3570353.3570357
Müller ASchmidt BMembarth RLeißa RHack SRauchwerger LCameron KNikolopoulos DPnevmatikatos D(2022)AnySeq/GPUProceedings of the 36th ACM International Conference on Supercomputing10.1145/3524059.3532376(1-11)Online publication date: 28-Jun-2022
https://dl.acm.org/doi/10.1145/3524059.3532376
Polito GDucasse STesone PJhala RDillig I(2022)Interpreter-guided differential JIT compiler unit testingProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523457(981-992)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523457
Köster TWarnke TUhrmacher A(2022)Generating Fast Specialized Simulators for Stochastic Reaction Networks via Partial EvaluationACM Transactions on Modeling and Computer Simulation10.1145/348546532:2(1-25)Online publication date: 4-Mar-2022
https://dl.acm.org/doi/10.1145/3485465
Show More Cited By

Abstract

References

Cited By

Recommendations

Compiler algorithm language (CAL): an interpreter and compiler

A Surprisingly Simple Lua Compiler

Fusing a Transformation Language with an Open Compiler

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations