The passau RAP system: Prototyping algebraic specifications using conditional narrowing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)
Extended Abstracts Of Current Deduction Systems
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.
- [Fribourg 84]L. Fribourg, Oriented equational clauses as a programming language. Proc. 11th ICALP, Lecture Notes in Computer Science 172, pp. 162–172, 1984.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]
© Springer-Verlag Berlin Heidelberg 1986