The Passau RAP system: Rapid prototyping for algebraic specifications

  • Fleinrich Hussmann
Part 2 System Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 308)


Rapid Prototype Operational Semantic Proof Tree Abstract Data Type Informal Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [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
  2. [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
  3. [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
  4. [Morando, Giovini 87]
    F. Morando, A. Giovini, SMoLCS/RP: A rapid prototyping system for separable relational specifications. Internal Report University of Genova, 1987.Google Scholar
  5. [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 1988

Authors and Affiliations

  • Fleinrich Hussmann
    • 1
  1. 1.Universität PassauPassau

Personalised recommendations