Towards Assertion-based Debugging of Higher-Order (C)LP Programs.
Nataliia StulovaJosé F. MoralesManuel V. HermenegildoPublished in: CoRR (2014)
Keyphrases
- higher order
- hardware designs
- java programs
- novice programmers
- linear programming
- markov random field
- high order
- program slicing
- pairwise
- low order
- linear program
- natural images
- model based diagnosis
- optimal solution
- image segmentation
- database
- computer programs
- conditional random fields
- automatic programming
- multi threaded
- fault localization
- programs written
- database systems