Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program.
Massimo FabrisPublished in: AADEBUG (1997)
Keyphrases
- java programs
- hardware designs
- novice programmers
- computer programs
- program slicing
- automatic programming
- fault localization
- intermediate level
- control program
- program execution
- programming environment
- program understanding
- functional programs
- human activities
- programs written
- programming education
- computer chess
- high level programming language
- control flow
- answer set programs
- static analysis
- programming environments
- stable models