The ALF system

  • Michael Hanus
System Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 528)


  1. 1.
    M. Hanus: Compiling Logic Programs with Equality. Proc. of the 2nd International Workshop on Programming Language Implementation and Logic Programming, Linköping, 1990. Springer LNCS 456, pages 387–401Google Scholar
  2. 2.
    M. Hanus: Efficient Implementation of Narrowing and Rewriting. To appear in Proc. Int. Workshop on Processing Declarative Knowledge, Kaiserslautern, 1991 Springer Symbolic Computation Series.Google Scholar
  3. 3.
    M. Hanus, A. Schwab: ALF User's Manual. Fachbereich Informatik, Universität Dortmund, 1991Google Scholar
  4. 4.
    M. Hanus, A. Schwab: The Implementation of the Functional-Logic Language ALF. Fachbereich Informatik, Universität Dortmund, 1991Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Michael Hanus
    • 1
  1. 1.Fachbereich InformatikUniversität DortmundDortmund 50Germany

Personalised recommendations