Debugging Constraint Programs: The Abstraction Mismatch.

Markus P. J. Fromherz

Published in: LPE (1993)

Keyphrases

hardware designs
java programs
model based diagnosis
novice programmers
program slicing
information technology
open source
linear constraints