Skip to main content
SpringerLink
Log in
Book cover

Workshop on Algebraic Methods

Algebraic Methods 1987: Algebraic Methods: Theory, Tools and Applications pp 403–418Cite as

Specification and prototyping of a compiler for a small applicative language

  • Part III Rapid Prototyping With Algebraic Specification
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 394))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Broy: Lecture notes to the course “Informatik III” at the University of Passau in winter term 1986/87.

    Google Scholar 

  2. 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. H. Hussmann: Unification in conditional-equational theories In: Proc. EUROCAL 85, LNCS 204, pp. 543–555, Springer 1985.

    Google Scholar 

  4. H. Hussmann: RAP-system user's manual (second edition). Technical Report MIP-8504, University of Passau, 1985. Second, revised edition 1987.

    Google Scholar 

  5. H. Hussmann, A. Geser: The RAP system as a tool for testing COLD specifications. Contained in this volume.

    Google Scholar 

  6. C. Rank: Specification and prototyping of a compiler for a small applicative language. Technical Report MIP-8823, University of Passau, 1988

    Google Scholar 

  7. M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Acta Informatica 20, pp. 1–33, 1983.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Passau, Postfach 2540, D-8390, Passau

    Heinrich Hussmann & Christian Rank

Authors
  1. Heinrich Hussmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Rank
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hussmann, H., Rank, C. (1989). Specification and prototyping of a compiler for a small applicative language. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015046

Download citation

  • DOI: https://doi.org/10.1007/BFb0015046

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51698-9

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation