Abstract
The Passau RAP system is an interpreter for algebraic specifications which contains a conditional narrowing algorithm as its central part. The system is in use since the end of 1984, a revised version is currently under development.
This is a preview of subscription content, log in via an institution.
References
L. Fribourg, Oriented equational clauses as a programming language. Proc. 11th ICALP, Lecture Notes in Computer Science 172, pp. 162–172, 1984.
H. Hussmann, Unification in conditional-equational theories. Proc. EUROCAL 85 Conf., Lecture Notes in Computer Science 204, pp. 543–553, 1985.
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
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hussmann, H. (1986). The passau RAP system: Prototyping algebraic specifications using conditional narrowing. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_139
Download citation
DOI: https://doi.org/10.1007/3-540-16780-3_139
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16780-8
Online ISBN: 978-3-540-39861-5
eBook Packages: Springer Book Archive