8. SAS 2001:
Paris, France
Patrick Cousot (Ed.):
Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings.
Lecture Notes in Computer Science 2126 Springer 2001, ISBN 3-540-42314-1
Invited Paper
Program Transformation
Strictness and Termination
Sematics Abstraction
- Fausto Spoto:
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.
127-145

Logic and Constraint Programming
Invited Paper
Data Structures
Pointer Analysis
Model Checking
Abstract Model Checking
Invited Talk
Mobility
Invited Session on Security
Last update Thu May 23 03:54:25 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page