OASIS: An optimizing action-based compiler generator

Ørbæk, Peter

doi:10.1007/3-540-57877-3_1

Cited by 11 publications

(8 citation statements)

References 14 publications

(11 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The partial-evaluation technology we are using is otherwise the same, and the resulting compiled code is thus essentially the same. Such Scheme code is considerably less efficient than, e.g., the assembly-language output of Ørbaek's optimizing action-based compiler generator Oasis [18]. On the other hand, Oasis's compile times are considerably larger than those of type-directed partial evaluation.…”

Section: Compile-time Vs Run-time Performancesmentioning

confidence: 87%

See 1 more Smart Citation

Compiling Actions by Partial Evaluation, Revisited

Danvy¹,

Rhiger²

1998

BRICS

View full text Add to dashboard Cite

We revisit Bondorf and Palsberg's compilation of actions using the offline syntax-directed partial evaluator Similix (FPCA'93, JFP'96), and we compare it in detail with using an online typedirected partial evaluator. In contrast to Similix, our typedirected partial evaluator is idempotent and requires no "bindingtime improvements." It also appears to consume about 7 times less space and to be about 28 times faster than Similix, and to yield residual programs that are perceptibly more efficient than those generated by Similix.

show abstract

Section: Compile-time Vs Run-time Performancesmentioning

confidence: 87%

“…(3) The target language of existing actions compilers is C [5] or assembly language [16,18]. Compiling action notation can also be achieved using the first Futamura projection, as described below.…”

Section: Introductionmentioning

confidence: 99%

Compiling Actions by Partial Evaluation, Revisited

Danvy¹,

Rhiger²

1998

BRICS

View full text Add to dashboard Cite

show abstract

“…Oasis [24] was a compiler generator that accepted an ASD expressed in Scheme syntax. Given the ASD of a statically-scoped and statically-typed language L, Oasis could generate a compiler composed of:…”

Section: Implementationsmentioning

confidence: 99%

Action Semantics in Retrospect

Watt

2009

Semantics and Algebraic Specification

View full text Add to dashboard Cite

Abstract. This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project.

show abstract

“…Also at CC'94, Ørbaek [56] presented several analyses of actions. These allow his compiler generator (called OASIS) to generate efficient, optimizing compilers for procedural and functional languages with higher order recursive functions.…”

Section: Action Analysis and Compiler Generationmentioning

confidence: 99%

“…An action-semantic description is also strongly suggestive of an operational understanding of the described language, as required by implementors. Moreover, it has been found to be very well suited for generating compilers [5,56,58] and interpreters [69].…”

Section: Pragmaticsmentioning

confidence: 99%

Theory and Practice of Action Semantics

Mosses¹

1996

BRICS

View full text Add to dashboard Cite

Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is pragmatic: action-semantic descriptions (ASDs) scale up smoothly to realistic programming languages. This is due to the inherent extensibility and modifiability of ASDs, ensuring that extensions and changes to the described language require only proportionate changes in its description. (In denotational or operational semantics, adding an unforeseen construct to a language may require a reformulation of the entire description.) After sketching the background for the development of action semantics, we summarize the main ideas of the framework, and provide a simple illustrative example of an ASD. We identify which features of ASDs are crucial for good pragmatics. Then we explain the foundations of action semantics, and survey recent advances in its theory and practical applications. Finally, we assess the prospects for further development and use of action semantics. The action semantics framework was initially developed at the University of Aarhus by the present author, in collaboration with David Watt (University of Glasgow). Groups and individuals scattered around five continents have since contributed to its theory and practice.

show abstract

OASIS: An optimizing action-based compiler generator

Cited by 11 publications

References 14 publications

Compiling Actions by Partial Evaluation, Revisited

Compiling Actions by Partial Evaluation, Revisited

Action Semantics in Retrospect

Theory and Practice of Action Semantics

Contact Info

Product

Resources

About