Graph-based implementation of a functional logic language

DOI10.1007/3-540-52592-0_69MaRDI QIDQ4038667zbMATH OpenFDO

Authors Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, M. Rodríguez Artalejo

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-52592-0_69

zbMATH Keywords

backtrackingcompilation schemegraph-narrowing abstract machineimplementation of a functional logic languageunification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• Relating the implementation techniques of functional and functional logic languages
• Lazy narrowing in a graph machine
• A Virtual Machine for Functional Logic Computations
• An abstract machine based system for a lazy narrowing calculus
• scientific article; zbMATH DE number 826303

Cited in

(9)

• C-expressions: A variable-free calculus for equational logic programming
• Logical description of context-free graph languages
• An abstract machine based system for a lazy narrowing calculus
• Towards a parallel virtual machine for functional logic programming
• Compiling a functional logic language: \textit{The Fair Scheme}
• scientific article; zbMATH DE number 1346869 (Why is no real title available?)
• Towards the uniform implementation of declarative languages
• Lazy narrowing in a graph machine
• Relating the implementation techniques of functional and functional logic languages

Describes a project that uses

Uses Software

• BABEL
• Miranda

This page was built for publication: Graph-based implementation of a functional logic language

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