A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
From MaRDI portal
Publication:3525083
DOI10.1007/978-3-540-75292-9_12zbMath1147.68430MaRDI QIDQ3525083
Publication date: 17 September 2008
Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_12
Related Items
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains, A new generic scheme for functional logic programming with constraints, A Framework for Interpreting Traces of Functional Logic Computations, Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming