Proving the correctness of algorithmic debugging for functional programs.

Yong Luo Olaf Chitil

Published in: Trends in Functional Programming (2006)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
functional language
logic programming
stochastic grammar
deductive databases
data management