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.
References
M. Broy: Lecture notes to the course “Informatik III” at the University of Passau in winter term 1986/87.
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.
H. Hussmann: Unification in conditional-equational theories In: Proc. EUROCAL 85, LNCS 204, pp. 543–555, Springer 1985.
H. Hussmann: RAP-system user's manual (second edition). Technical Report MIP-8504, University of Passau, 1985. Second, revised edition 1987.
H. Hussmann, A. Geser: The RAP system as a tool for testing COLD specifications. Contained in this volume.
C. Rank: Specification and prototyping of a compiler for a small applicative language. Technical Report MIP-8823, University of Passau, 1988
M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Acta Informatica 20, pp. 1–33, 1983.
Author information
Authors and Affiliations
Editor information
Rights 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