Declarative Debugging of Lazy Functional Programs.

Published in: LPE (1992)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
knowledge representation
stochastic grammar
functional programming
database
logic programming