Debugging Lazy Functional Programs by Asking the Oracle.

Bernd Braßel Holger Siegel

Published in: IFL (2007)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
stochastic grammar
functional language
oracle database
database
data structure
programming language
logic programming
functional programming