Static analysis : 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / - Levi, G. (Springer, 1998)