Sciweavers

FLOPS
1999
Springer

Typed Higher-Order Narrowing without Higher-Order Strategies

13 years 8 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 systems into ordinary (£rst-order) rewrite systems and the subsequent application of conventional narrowing strategies. Our translation is an adaptation to narrowing of Warren’s translation, but unlike similar previous work, we preserve static type information, which has a dramatic effect on the size of the narrowing space. Our approach supports sound, complete, and ef£cient higher-order narrowing computations in classes of systems larger than those previously proposed.
Sergio Antoy, Andrew P. Tolmach
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where FLOPS
Authors Sergio Antoy, Andrew P. Tolmach
Comments (0)