A Static Higher-Order Dependency Pair Framework.

Carsten Fuhs Cynthia Kop

Published in: ESOP (2019)

Keyphrases

higher order
pairwise
conceptual framework
data sets
main contribution
theoretical framework
databases
lightweight