Building Complete Abstract Interpretations in a Linear Logic-based Setting.

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari

Browse the full SAS paper archive.