Higher-Order Narrowing with Definitional Trees

Abstract

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

Topics

3 Figures and Tables

Statistics

01020'98'00'02'04'06'08'10'12'14'16'18
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