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

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics