OASIS: An Optimizing Action-Based Compiler Generator

@inproceedings{rbk1994OASISAO,
  title={OASIS: An Optimizing Action-Based Compiler Generator},
  author={Peter {\O}rb{\ae}k},
  booktitle={CC},
  year={1994}
}
  • Peter Ørbæk
  • Published in CC 1994
  • Computer Science
  • Action Semantics is a new and interesting foundation for semantics based compiler generation. In this paper we present several analyses of actions, and apply them in a compiler generator capable of generating efficient, optimizing compilers for procedural and functional languages with higher order recursive functions. The automatically generated compilers produce code that is comparable with code produced by handwritten compilers. 

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 25 CITATIONS

    An Action Compiler Targeting Standard ML

    VIEW 14 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    An action compiler targeting Standard ML

    VIEW 14 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Modular Denotational Semantics for Compiler Construction

    VIEW 1 EXCERPT
    CITES METHODS

    Action Semantics in Retrospect

    • David A. Watt
    • Computer Science
    • Semantics and Algebraic Specification
    • 2009

    Theory and Practice of Action Semantics

    VIEW 5 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1993
    2012

    CITATION STATISTICS

    • 4 Highly Influenced Citations

    References

    Publications referenced by this paper.