@inproceedings{GRS98b, author = {R. Giacobazzi and F. Ranzato and F. Scozzari}, title = {Building complete abstract interpretations in a linear logic-based setting}, booktitle = {Proc.\ of The 5th International Static Analysis Symposium, SAS'98}, year = 1998, series = {Lecture Notes in Computer Science}, editor = {G. Levi}, publisher = {Springer-Verlag}, volume = {1503}, pages = {215-229}}