References
L. Fribourg, Handling function definitions through innermost superposition and rewriting. Proc. RTA 85 Conf., Lecture Notes in Computer Science 202, pp. 325–344, 1985.
A. Geser, H. Hussmann, Experiences with the RAP system — a specification interpreter combining term rewriting and resolution. Proc. ESOP 86 Conf., Lecture Notes in Computer Science 213, pp.339–350, 1986.
H. Hussmann, Unification in conditional-equational theories. Proc. EUROCAL 85 Conf., Lecture Notes in Computer Science 204, pp. 543–553, 1985.
F. Morando, A. Giovini, SMoLCS/RP: A rapid prototyping system for separable relational specifications. Internal Report University of Genova, 1987.
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
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hussmann, F. (1988). The Passau RAP system: Rapid prototyping for algebraic specifications. In: Kaplan, S., Jouannaud, J.P. (eds) Conditional Term Rewriting Systems. CTRS 1987. Lecture Notes in Computer Science, vol 308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19242-5_23
Download citation
DOI: https://doi.org/10.1007/3-540-19242-5_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19242-8
Online ISBN: 978-3-540-39166-1
eBook Packages: Springer Book Archive