Towards Declarative Debugging of Concurrent Constraint Programs.
Markus P. J. FromherzPublished in: AADEBUG (1993)
Keyphrases
- java programs
- hardware designs
- novice programmers
- program slicing
- computer programs
- programs written
- data sets
- declarative language
- linear constraints
- model based diagnosis
- knowledge representation
- multi threaded
- mutual exclusion
- concurrent programs
- deductive database systems
- automatic programming
- software testing
- domain independent
- database
- young students