An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs.
Nataliia StulovaJosé F. MoralesManuel V. HermenegildoPublished in: CoRR (2014)
Keyphrases
- higher order
- hardware designs
- linear programming
- java programs
- program slicing
- novice programmers
- natural images
- linear program
- low order
- conditional random fields
- high order
- genetic algorithm
- computer programs
- pairwise
- markov random field
- np hard
- automatic programming
- fault localization
- lower order
- hidden markov models
- program understanding
- lambda calculus
- computational complexity
- objective function