A Virtual Machine for Functional Logic Computations

DOI10.1007/11431664_7zbMath1119.68326OpenAlexW2124067082MaRDI QIDQ5423547

Jimeng Liu, Sergio Antoy, Andrew Tolmach, Michael Hanus

Publication date: 23 October 2007

Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11431664_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (7)

Compiling a Functional Logic Language: The Fair Scheme ⋮ Transforming Functional Logic Programs into Monadic Functional Programs ⋮ Functional Logic Programming: From Theory to Curry ⋮ Programming with narrowing: a tutorial ⋮ Lazy Context Cloning for Non-Deterministic Graph Rewriting ⋮ Reporting Failures in Functional Logic Programs ⋮ A Framework for Interpreting Traces of Functional Logic Computations

Uses Software

• TeaBag
• TOY
• PAKCS

This page was built for publication: A Virtual Machine for Functional Logic Computations