Roberto Giacobazzi Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings 3148 3-540-22791-1 SAS Lecture Notes in Computer Science Springer 2004 db/conf/sas/sas2004.html