Specification and prototyping of a compiler for a small applicative language
- 108 Downloads
A compiler for a simple applicative language into stack-oriented target code is specified within the RAP/COLD specification language. Some experiments with the RAP tool are summarized. Using this example, different approaches to an implementation of this algebraic specification are compared: interpretation of the specification by RAP, automatic compilation into PASCAL code and hand-written C code.
KeywordsExecution Time Abstract Syntax Concrete Syntax Abstract Data Type Intermediate Language
Unable to display preview. Download preview PDF.
- [Broy 86]M. Broy: Lecture notes to the course “Informatik III” at the University of Passau in winter term 1986/87.Google Scholar
- [Geser, Hussmann, Mueck 88]A. Geser, H. Hussmann, A. Mueck: A compiler for a class of conditional term rewriting systems. In: Conditional Term Rewriting, LNCS 308, pp. 84–90, Springer 1988.Google Scholar
- [Hussmann 85]H. Hussmann: Unification in conditional-equational theories In: Proc. EUROCAL 85, LNCS 204, pp. 543–555, Springer 1985.Google Scholar
- [Hussmann 85/87]H. Hussmann: RAP-system user's manual (second edition). Technical Report MIP-8504, University of Passau, 1985. Second, revised edition 1987.Google Scholar
- [Hussmann, Geser 88]H. Hussmann, A. Geser: The RAP system as a tool for testing COLD specifications. Contained in this volume.Google Scholar
- [Rank 88]C. Rank: Specification and prototyping of a compiler for a small applicative language. Technical Report MIP-8823, University of Passau, 1988Google Scholar
- [Wirsing et al. 83]