Implementing higher-order functions in an algebraic specification language with narrowing

  • Bernhard Reus
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 631)


The presented HO-RAP system combines λ-calculus with Horn clause specifications interpreted by rewriting and narrowing techniques. Therefore, higher-order programming becomes available for the prototyper together with logic programming features introduced via narrowing. Still unification is first-order and accordingly not satisfactory with regard to functional equality.


  1. 1.
    E. Astesiano, M. Cerioli: On the existence of initial models for partial (higher-order) conditional specifications. In: J. Diaz, F. Orejas (eds.): TAPSOFT '89, Vol. 1, Lecture Notes in Computer Science 351, Springer, Berlin, 1989, 74–88.Google Scholar
  2. 2.
    M. Hanus: Compiling Logic Programs with Equality. In Proc. PLILP 90, Linköping, Sweden, Lecture Notes in Computer Science 456, Springer, Berlin, 1990, 387–401.Google Scholar
  3. 3.
    H. Hußmann: Rapid Prototyping for Algebraic Specifications — RAP — System User's Manual. Universität Passau, MIP — 8504, Research Report, Passau, 1985.Google Scholar
  4. 4.
    H. Hußmann: Unification in Conditional-Equational Theories. Universität Passau, MIP — 8502, Research Report, 2nd edition, Passau, 1986.Google Scholar
  5. 5.
    J.-P. Jouannaud, M. Okada: Executable Higher-Order Algebraic Specification Languages. Proc. 6th IEEE Symp. Logic in Computer Science, Amsterdam 1991.Google Scholar
  6. 6.
    D. Miller: A Logic Programming Language with Lambda-Abstraction, Function Variables and Simple Unification. Journal of Logic Computation, Volume 1, No.4, 1991, 497–536.Google Scholar
  7. 7.
    B. Möller, A. Tarlecki, M. Wirsing: Algebraic Specification of Reachable Higher-Order Algebras. In: D. Sannella, A. Tarlecki (eds.): Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types-Selected Papers. Lecture Notes in Computer Science 332, Springer, Berlin, 1988, 154–169.Google Scholar
  8. 8.
    B. Reus: Algebraische Spezifikation mit Funktionen höherer Ordnung. Diploma Thesis, Fakultät für Mathematik und Informatik, Passau, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Bernhard Reus
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 40Germany

Personalised recommendations