Lazy narrowing in a graph machine

DOI10.1007/3-540-53162-9_47zbMath1493.68059OpenAlexW1599996235MaRDI QIDQ5096203

Herbert Kuchen, Juan José Moreno-Navarro, Rita Loogen, Mario Rodríguez Artalejo

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_47

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (2)

Dynamic detection of determinism in functional logic languages ⋮ Termination of Narrowing in Left-Linear Constructor Systems

Cites Work

• Kernel-LEAF: A logic plus functional language
• The relation between logic and functional languages: a survey
• Logic programming with functions and predicates: The language Babel
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lazy narrowing in a graph machine