A Virtual Machine for Functional Logic Computations

DOI10.1007/11431664_7MaRDI QIDQ5423547zbMATH OpenOpenAlexFDO

Authors Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew Tolmach

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

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

Recommendations

• Towards a parallel virtual machine for functional logic programming
• A functional logic for higher level reasoning about computation
• scientific article; zbMATH DE number 1346869
• Qualified Computations in Functional Logic Programming
• scientific article; zbMATH DE number 4200180
• From Logic to Functional Logic Programs
• A framework for interpreting traces of functional logic computations
• A Program Transformation for Tracing Functional Logic Computations
• Logical Bisimulations and Functional Languages
• Publication:4936155

Cited in

(11)

• An FPGA implementation of a distributed virtual machine
• Lazy context cloning for non-deterministic graph rewriting
• Reporting failures in functional logic programs
• A framework for interpreting traces of functional logic computations
• Towards a parallel virtual machine for functional logic programming
• Transforming functional logic programs into monadic functional programs
• Compiling a functional logic language: \textit{The Fair Scheme}
• scientific article; zbMATH DE number 177789 (Why is no real title available?)
• Robust evaluation of expressions by distributed virtual machines
• Functional Logic Programming: From Theory to Curry
• Programming with narrowing: a tutorial

Describes a project that uses

Uses Software

• TeaBag
• PAKCS
• TOY

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423547)