Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.

Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.