From operational semantics to abstract machines: preliminary results
- 1 May 1990
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 323-332
- https://doi.org/10.1145/91556.91680
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- Partial evaluation with inference rulesNew Generation Computing, 1988
- Converting interpreters into compilersSoftware: Practice and Experience, 1988
- The calculus of constructionsInformation and Computation, 1988
- A natural deduction treatment of operational semanticsPublished by Springer Nature ,1988
- Compiling a functional languagePublished by Association for Computing Machinery (ACM) ,1984
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Semantics-Directed Compiler GenerationPublished by Springer Nature ,1980
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964