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

10. SAS 2003: San Diego, California, USA

Radhia Cousot (Ed.): Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Lecture Notes in Computer Science 2694 Springer 2003, ISBN 3-540-40325-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/sas/2003,
  editor    = {Radhia Cousot},
  title     = {Static Analysis, 10th International Symposium, SAS 2003, San
               Diego, CA, USA, June 11-13, 2003, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2694},
  year      = {2003},
  isbn      = {3-540-40325-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Static Analysis of Object-Oriented Languages

Static Analysis of Concurrent Languages

Invited Paper

Static Analysis of Functional Languages

Static Analysis of Procedural Languages

Static Data Analysis

Invited Talk

Static Linear Relation Analysis

Static Analysis Based Program Transformation

Static Heap Analysis

Copyright © Mon Nov 2 21:07:33 2009 by Michael Ley (ley@uni-trier.de)