scientific article
From MaRDI portal
Publication:4038667
zbMath0765.68021MaRDI QIDQ4038667
Mario Rodríguez Artalejo, Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
unificationbacktrackingcompilation schemegraph-narrowing abstract machineimplementation of a functional logic language
Related Items (3)
Lazy narrowing in a graph machine ⋮ Relating the implementation techniques of functional and functional logic languages ⋮ C-expressions: A variable-free calculus for equational logic programming
Uses Software
This page was built for publication:
