dblp.uni-trier.de www.uni-trier.de

11. SAS 2004: Verona, Italy

Roberto Giacobazzi (Ed.): Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Lecture Notes in Computer Science 3148 Springer 2004, ISBN 3-540-22791-1 BibTeX

Invited Talks

Program and System Verification

Security and Safety

Pointer Analysis

Abstract Interpretation and Algorithms

Abstract Domain and Data Structures

Shape Analysis and Logic

Termination Analysis

Copyright © Sat May 16 23:36:43 2009 by Michael Ley (ley@uni-trier.de)