×

Static analysis. 12th international symposium, SAS 2005, London, UK, September 7–9, 2005. Proceedings. (English) Zbl 1087.68004

Lecture Notes in Computer Science 3672. Berlin: Springer (ISBN 3-540-28584-9/pbk). x, 369 p. (2005).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1056.68010).
Indexed articles:
Abramsky, Samson, Algorithmic game semantics and static analysis, 1 [Zbl 1141.68444]
Gordon, Andrew D., From typed process calculi to source-based security, 2 [Zbl 1141.68368]
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea, Widening operators for weakly-relational numeric abstractions, 3-18 [Zbl 1141.68445]
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea, Generation of basic semi-algebraic invariants using convex polyhedra, 19-34 [Zbl 1141.68446]
Bruynooghe, Maurice; Gallagher, John; Van Humbeeck, Wouter, Inference of well-typings for logic programs with application to termination analysis, 35-51 [Zbl 1141.68360]
Chen, G.; Kandemir, M.; Karakoy, M., Memory space conscious loop iteration duplication for reliable execution, 52-69 [Zbl 1141.68362]
Chin, Wei-Ngan; Nguyen, Huu Hai; Qin, Shengchao; Rinard, Martin, Memory usage verification for OO programs, 70-86 [Zbl 1141.68364]
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey, Abstraction refinement for termination, 87-101 [Zbl 1141.68365]
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko, Data-abstraction refinement: A game semantic approach, 102-117 [Zbl 1141.68366]
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan, Locality-based abstractions, 118-134 [Zbl 1141.68367]
Hunt, Sebastian; Mastroeni, Isabella, The PER model of abstract non-interference, 171-185 [Zbl 1141.68370]
Jeannet, B.; Gopan, D.; Reps, T., A relational abstraction for functions, 186-202 [Zbl 1141.68371]
Müller-Olm, Markus; Seidl, Helmut, A generic framework for interprocedural analysis of numerical properties, 235-250 [Zbl 1141.68372]
Narasamdya, Iman; Voronkov, Andrei, Finding basic block and variable correspondence, 251-267 [Zbl 1141.68361]
Podelski, Andreas; Wies, Thomas, Boolean heaps, 268-283 [Zbl 1141.68374]
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran, Interprocedural shape analysis for cutpoint-free programs, 284-302 [Zbl 1141.68375]
Rival, Xavier, Understanding the origin of alarms in Astrée, 303-319 [Zbl 1141.68376]
Secci, Stefano; Spoto, Fausto, Pair-sharing analysis of object-oriented programs, 320-335 [Zbl 1141.68378]
Simon, Axel; King, Andy, Exploiting sparsity in polyhedral analysis, 336-351 [Zbl 1141.68654]
Terauchi, Tachio; Aiken, Alex, Secure information flow as a safety problem, 352-367 [Zbl 1141.68380]

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 1056.68010
PDF BibTeX XML Cite
Full Text: DOI