Analysis of Imperative Programs through Analysis of Constraint Logic Programs.

Julio C. Peralta, John P. Gallagher, Hseyin Saglam

Browse the full SAS paper archive.