Program Debugging and Validation Using Semantic Approximations and Partial Specifications.

Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca

Browse the full ICALP paper archive.