13. SAS 2006:
Seoul, Korea Kwangkeun Yi (Ed.):
Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings.
Lecture Notes in Computer Science 4134 Springer 2006, ISBN 3-540-37756-5 Invited Talk
export record as
dblp key:
Manuvir Das :
Unleashing the Power of Static Analysis.
1-2
Session 1
export record as
dblp key:
conf/sas/SankaranarayananISG06 export record as
dblp key:
export record as
dblp key:
Session 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Talk
export record as
dblp key:
export record as
dblp key:
Session 4
export record as
dblp key:
Gilad Arnold :
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding.
204-220
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Talk
export record as
dblp key:
Session 5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 6
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Julien Bertrane :
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems.
370-386
Session 7
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
