Building Complete Abstract Interpretations in a Linear Logic-based Setting.
['Roberto Giacobazzi', 'Francesco Ranzato', 'Francesca Scozzari']
Building Complete Abstract Interpretations in a Linear Logic-based Setting.