Assertion-based Debugging of Higher-Order (C)LP Programs.
Nataliia StulovaJosé F. MoralesManuel V. HermenegildoPublished in: PPDP (2014)
Keyphrases
- higher order
- hardware designs
- java programs
- linear programming
- high order
- program slicing
- novice programmers
- markov random field
- natural images
- computer programs
- pairwise
- low order
- multiscale
- automatic programming
- neural network
- optimal solution
- model based diagnosis
- software testing
- high level
- image segmentation
- programs written
- information systems
- genetic algorithm