Comprehending finite maps for algorithmic debugging of higher-order functional programs.

Olaf Chitil Thomas Davie

Published in: PPDP (2008)

Keyphrases

functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
functional language
pairwise
stochastic grammar
logic programming
functional programming
database
relational databases
intelligent agents
software testing