Static Analysis of CLP Programs over Numeric Domains.

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

Browse the full SAS paper archive.