Login / Signup
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.
Josep Silva
Published in:
AI Commun. (2008)
Keyphrases
</>
program slicing
description languages
fault localization
source code
description language
formal verification
model based diagnosis
knowledge representation
reverse engineering
fault detection
neural network
information systems
multi agent systems