Static analysis. 13th international symposium, SAS 2006, Seoul, Korea, August 29–31, 2006. Proceedings. (English) Zbl 1120.68011

Lecture Notes in Computer Science 4134. Berlin: Springer (ISBN 978-3-540-37756-6/pbk). xiii, 443 p. (2006).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1087.68004).
Indexed articles:
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti, Static analysis in disjunctive numerical domains, 3-17 [Zbl 1225.68077]
Goubault, Eric; Putot, Sylvie, Static analysis of numerical algorithms, 18-34 [Zbl 1225.68073]
Allamigeon, Xavier; Godard, Wenceslas; Hymans, Charles, Static analysis of string manipulations in critical embedded C programs, 35-51 [Zbl 1225.68064]
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš, Abstract regular tree model checking of complex dynamic data structures, 52-70 [Zbl 1225.68067]
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang, Structural invariants, 71-87 [Zbl 1225.68074]
Pratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael, Existential label flow inference via CFL reachability, 88-106 [Zbl 1225.68075]
Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel, Abstract interpretation with specialized definitions, 107-126 [Zbl 1225.68076]
Schmidt, David A., Underapproximating predicate transformers, 127-143 [Zbl 1225.68078]
Gonnord, Laure; Halbwachs, Nicolas, Combining widening and acceleration in linear relation analysis, 144-160 [Zbl 1225.68071]
Amiranoff, Pierre; Cohen, Albert; Feautrier, Paul, Beyond iteration vectors: instancewise relational abstract domains, 161-180 [Zbl 1225.68065]
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok, Beyond reachability: shape abstraction in the presence of pointer arithmetic, 182-203 [Zbl 1225.68069]
Arnold, Gilad, Specialized 3-valued logic shape analysis using structure-based refinement and loose embedding, 204-220 [Zbl 1225.68066]
Balakrishnan, Gogul; Reps, Thomas, Recency-abstraction for heap-allocated storage, 221-239 [Zbl 1225.68079]
Gotsman, Alexey; Berdine, Josh; Cook, Byron, Interprocedural shape analysis with separated heap abstractions, 240-260 [Zbl 1225.68072]
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly, Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm, 261-279 [Zbl 1225.68081]
Barthe, Gilles; Grégoire, Benjamin; Kunz, César; Rezk, Tamara, Certificate translation for optimizing compilers, 301-317 [Zbl 1225.68062]
Askarov, Aslan; Hedin, Daniel; Sabelfeld, Andrei, Cryptographically-masked flows, 353-369 [Zbl 1225.68086]
Chen, Feng; Roşu, Grigore, Parametric and termination-sensitive control dependence, 387-404 [Zbl 1225.68070]

MSC:

68-06	Proceedings, conferences, collections, etc. pertaining to computer science
68N30	Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25	Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1087.68004