Specification and prototyping of a compiler for a small applicative language

  • Heinrich Hussmann
  • Christian Rank
Part III Rapid Prototyping With Algebraic Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 394)


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.


Execution Time Abstract Syntax Concrete Syntax Abstract Data Type Intermediate Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Broy 86]
    M. Broy: Lecture notes to the course “Informatik III” at the University of Passau in winter term 1986/87.Google Scholar
  2. [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
  3. [Hussmann 85]
    H. Hussmann: Unification in conditional-equational theories In: Proc. EUROCAL 85, LNCS 204, pp. 543–555, Springer 1985.Google Scholar
  4. [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
  5. [Hussmann, Geser 88]
    H. Hussmann, A. Geser: The RAP system as a tool for testing COLD specifications. Contained in this volume.Google Scholar
  6. [Rank 88]
    C. Rank: Specification and prototyping of a compiler for a small applicative language. Technical Report MIP-8823, University of Passau, 1988Google Scholar
  7. [Wirsing et al. 83]
    M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Acta Informatica 20, pp. 1–33, 1983.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Heinrich Hussmann
    • 1
  • Christian Rank
    • 1
  1. 1.Universität PassauPassau

Personalised recommendations