Higher-Order Narrowing with Definitional Trees


Functional logic languages with a sound and complete operational semantics are mainly based on an inference rule called narrowing. Narrowing extends functional evaluation by goal solving capabilities as in logic programming. Due to the huge search space of simple narrowing, steadily improved narrowing strategies have been developed in the past. Needed… (More)
DOI: 10.1007/3-540-61464-8_48


3 Figures and Tables


Citations per Year

140 Citations

Semantic Scholar estimates that this publication has 140 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics