Declarative Debugging Meets the World.

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

physical world
world model
databases
high level
information retrieval
knowledge base
data structure
software engineering
java programs
execution traces