Relational semantics of functional programs

  • Authors:

  • Rudolf Berghammer;Burghard von Karger

  • Affiliations:

  • -;-

  • Venue:
  • Relational methods in computer science
  • Year:
  • 1997

  • A relation algebraic semantics for a lazy functional logic language

    RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra

  • Lazy relations

    RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra

  • Lazy UTP

    UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming

Quantified Score

Hi-index 0.00

Visualization

Abstract