Sciweavers

9 search results - page 1 / 2
» Higher-Order Narrowing
Sort
View
FLOPS
1999
Springer
13 years 7 months ago
Typed Higher-Order Narrowing without Higher-Order Strategies
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
Sergio Antoy, Andrew P. Tolmach
EUROCAST
2001
Springer
127views Hardware» more  EUROCAST 2001»
13 years 8 months ago
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
Tetsuo Ida, Mircea Marin, Taro Suzuki
LICS
1994
IEEE
13 years 7 months ago
Higher-Order Narrowing
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
Christian Prehofer
PLILP
1995
Springer
13 years 7 months ago
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
Koichi Nakahara, Aart Middeldorp, Tetsuo Ida