An Action Compiler Targeting Standard ML

Authors:
Jørgen Iversen
Affiliations:
BRICS & Department of Computer Science11Basic Research in Computer Science (http://www.brics.dk), funded by the Danish National Research Foundation., University of Aarhus, IT-parken, Aabogade 34, ...
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 1

Eli: a complete, flexible compiler construction system

Communications of the ACM
Action semantics

Action semantics
Efficient annotated terms

Software—Practice & Experience
The Definition of Standard ML

The Definition of Standard ML
Actress: An Action Semantics Directed Compiler Generator

CC '92 Proceedings of the 4th International Conference on Compiler Construction
OASIS: An Optimizing Action-Based Compiler Generator

CC '94 Proceedings of the 5th International Conference on Compiler Construction
Action semantics-based compiler generation

Action semantics-based compiler generation
An Action Environment

Electronic Notes in Theoretical Computer Science (ENTCS)

Formal Semantics of Programming Languages

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present an action compiler that can be used in connection with an action semantics based compiler generator. Our action compiler produces code with faster execution times than code produced by other action compilers, and for some non-trivial test examples it is only a factor two slower than the code produced by the Gnu C Compiler. Targeting Standard ML makes the description of the code generation simple and easy to implement. The action compiler has been tested on a description of the Core of Standard ML and a subset of C.