scientific article; zbMATH DE number 177789

MaRDI QIDQ4038667zbMATH OpenFDO

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

Publication date 18 May 1993

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
• scientific article; zbMATH DE number 1693041
• 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
• scientific article; zbMATH DE number 1693041 (Why is no real title available?)
• 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:

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