STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation.

Maria Handjieva

Browse the full SAS paper archive.