The Passau RAP System: Rapid prototyping for algebraic specifications
The Passau RAP system provides machine support for the development of algebraic specifications formulated by conditional equations. The system has been developed at the University of Passau, partially sponsored by the "Sonderforschungsbereich 49 Programmiertechnik" at the Technical University of Munich and the ESPRIT project 432 "METEOR". RAP is in use since the end of 1984, a revised version has been released in summer 1986. There are a number of installations at other sites.
- [Fribourg 85]L. Fribourg, Handling function definitions through innermost superposition and rewriting. Proc. RTA 85 Conf., Lecture Notes in Computer Science 202, pp. 325–344, 1985.Google Scholar
- [Geser, Hussmann 86]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.Google Scholar
- [Hussmann 85]H. Hussmann, Unification in conditional-equational theories. Proc. EUROCAL 85 Conf., Lecture Notes in Computer Science 204, pp. 543–553, 1985.Google Scholar
- [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.Google Scholar