paper announcement

From: Sergio Antoy <>
Date: Fri, 10 Apr 1998 08:47:45 -0700

A recent paper on higher-order narrowing that may be of interest
to some members of this list is accessible as follows

<A HREF="">
"Typed Higher-order Narrowing without Higher-order Strategies"</A>,
(joint with <A HREF="">Andrew Tolmach</A>),
TR98-2, Portland State University, 1998.


  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 (first-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 type information, which has a
  dramatic effect on the size of the narrowing space. Our approach
  supports sound, complete, and efficient higher-order narrowing
  computations in classes of systems larger than those previously


Sergio Antoy
Dept. of Computer Science
Portland State University
P.O.Box 751
Portland, OR 97207
voice +1 (503) 725-3009
fax +1 (503) 725-3211
Received on Fr Apr 10 1998 - 18:47:00 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:05 CEST