An action compiler targeting Standard ML

Authors:
Jørgen Bøndergaard Iversen
Affiliations:
Systematic Software Engineering A/S, Søren Frichs Vej 39, DK-8000 Aarhus C, Denmark
Venue:
Science of Computer Programming
Year:
2007

Citing 8
Cited 2

Algebraic specification

Algebraic specification
Eli: a complete, flexible compiler construction system

Communications of the ACM
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)

Component-based semantics

Proceedings of the 8th international workshop on Specification and verification of component-based systems
Component-based description of programming languages

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference

Quantified Score

Hi-index	0.00

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 nontrivial test examples it is only a factor of 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.