Sergio__Antoy
A Needed Narrowing Strategy
A sequential reduction strategy
An implementation of narrowing strategies
Automatically checking an implementation against its formal specification
Compiling Multi-Paradigm Declarative Programs into Prolog
Constructor-based conditional narrowing
Definitional Trees
Demandness in rewriting and narrowing
Improving the Efficiency of Non-Deterministic Computations
Needed Narrowing in Prolog
Needed Narrowing in Prolog (Extended Abstract
Optimal Non-Deterministic Functional Logic Computations
Parallel evaluation strategies for functional logic languages
Typed higher-order narrowing without higher-order strategies