Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting
SAS, 1998.
@inproceedings{SAS-1998-GiacobazziRS, author = "Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari", booktitle = "{Proceedings of the Fifth International Static Analysis Symposium}", doi = "10.1007/3-540-49727-7_13", isbn = "3-540-65014-8", pages = "215--229", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Building Complete Abstract Interpretations in a Linear Logic-based Setting}", volume = 1503, year = 1998, }