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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/sas/2001,
  editor    = {Patrick Cousot},
  title     = {Static Analysis, 8th International Symposium, SAS 2001, Paris,
               France, July 16-18, 2001, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  year      = {2001},
  isbn      = {3-540-42314-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

Program Transformation

Strictness and Termination

Sematics Abstraction

Logic and Constraint Programming

Invited Paper

Data Structures

Pointer Analysis

Model Checking

Abstract Model Checking

Invited Talk

Mobility

Invited Session on Security

Copyright © Tue Feb 9 19:36:14 2010 by Michael Ley (ley@uni-trier.de)