The passau RAP system: Prototyping algebraic specifications using conditional narrowing

  • Heinrich Hussmann
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)


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.


  1. [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
  2. [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
  3. [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.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Heinrich Hussmann
    • 1
  1. 1.Fakultät für Mathematik und InformatikUniversität PassauPassauFRG

Personalised recommendations