Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings (Q1850310)

The articles of this volume will be reviewed individually. The preceding symposium (8th, 2001) has been reviewed (see Zbl 0969.00086). Indexed articles: \textit{Reps, Thomas}, Static program analysis via 3-valued logic, 1 [Zbl 1015.68793] \textit{Hall, Robert J.}, Open modeling in multi-stakeholder distributed systems: Research and tool challenges, 2 [Zbl 1015.68885] \textit{Esparza, Javier}, An algebraic approach to the static analysis of concurrent software, 3 [Zbl 1015.68604] \textit{Müller-Olm, Markus; Seidl, Helmut}, Polynomial constants are decidable, 4-19 [Zbl 1015.68043] \textit{Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut}, Normalizable Horn clauses, strongly recognizable relations, and Spi, 20-35 [Zbl 1015.68042] \textit{Venet, Arnaud}, Nonuniform alias analysis of recursive data structures and arrays, 36-51 [Zbl 1015.68513] \textit{Jeannet, B.}, Representing and approximating transfer functions in abstract interpretation of hetereogeneous datatypes, 52 [Zbl 1015.68047] \textit{Yavuz-Kahveci, Tuba; Bultan, Tevfik}, Automated verification of concurrent linked lists with counters, 69-84 [Zbl 1015.68510] \textit{Lu, Lunjin; King, Andy}, Backward type inference generalises type checking, 85-101 [Zbl 1015.68031] \textit{Vaucheret, Claudio; Bueno, Francisco}, More precise yet efficient type inference for logic programs, 102-116 [Zbl 1015.68033] \textit{Miné, Antoine}, A few graph-based relational numerical abstract domains, 117-132 [Zbl 1015.68040] \textit{Martel, Matthieu}, Static analysis of the numerical stability of loops, 133-150 [Zbl 1015.68045] \textit{Serebrenik, Alexander; De Schreye, Danny}, On termination of logic programs with floating point computations, 151-164 [Zbl 1015.68034] \textit{Probst, Christian W.}, Modular control flow analysis for libraries, 165-179 [Zbl 1015.68508] \textit{Whaley, John; Lam, Monica S.}, An efficient inclusion-based points-to analysis for strictly-typed languages, 180-195 [Zbl 1015.68507] \textit{Manevich, R.; Ramalingam, G.; Field, J.; Goyal, D.; Sagiv, M.}, Compactly representing first-order structures for static analysis, 196-212 [Zbl 1015.68511] \textit{Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.}, Possibly not closed convex polyhedra and the Parma Polyhedra Library, 213-229 [Zbl 1015.68215] \textit{Adams, Stephen; Ball, Thomas; Das, Manuvir; Lerner, Sorin; Rajamani, Sriram K.; Seigle, Mark; Weimer, Westley}, Speeding up dataflow analysis using flow-insensitive pointer analysis, 230-246 [Zbl 1015.68515] \textit{Ruf, Erik}, Improving the precision of equality-based dataflow analyses, 247-262 [Zbl 1015.68512] \textit{Veldhuizen, Todd L.; Lumsdaine, Andrew}, Guaranteed optimization: Proving nullspace properties of compilers, 263-277 [Zbl 1015.68038] \textit{Faxén, Karl-Filip}, Representation analysis for coercion placement, 278-293 [Zbl 1015.68514] \textit{Langenbach, Marc; Thesing, Stephan; Heckmann, Reinhold}, Pipeline modeling for timing analysis, 294-309 [Zbl 1015.68758] \textit{Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert}, Analysing approximate confinement under uniform attacks, 310-325 [Zbl 1015.68069] \textit{Corin, Ricardo; Etalle, Sandro}, An improved constraint-based system for the verification of security protocols, 326-341 [Zbl 1015.68068] \textit{Blanchet, Bruno}, From secrecy to authenticity in security protocols, 342-359 [Zbl 1015.68070] \textit{Zanotti, Mirko}, Security typings by abstract interpretation, 360-375 [Zbl 1015.68044] \textit{Sabelfeld, Andrei; Mantel, Heiko}, Static confidentiality enforcement for distributed programs, 376-394 [Zbl 1015.68509] \textit{del Mar Gallardo, María; Merino, Pedro; Pimentel, Ernesto}, Refinement of LTL formulas for abstract model checking, 395-410 [Zbl 1015.68123] \textit{Ranzato, Francesco; Tapparo, Francesco}, Making abstract model checking strongly preserving, 411-427 [Zbl 1015.68122] \textit{Massé, Damien}, Semantics for abstract interpretation-based static analyzes of temporal properties, 428-443 [Zbl 1015.68046] \textit{Hymans, Charles}, Checking safety properties of behavioral VHDL descriptions by abstract interpretation, 444-460 [Zbl 1015.68529] \textit{Giacobazzi, Roberto; Ranzato, Francesco}, States vs. traces in model checking by abstract interpretation, 461-476 [Zbl 1015.68124] \textit{Bruynooghe, Maurice; Codish, Michael; Genaim, Samir; Vanhoof, Wim}, Reuse of results in termination analysis of typed logic programs, 477-492 [Zbl 1015.68505] \textit{Lee, Chin Soon}, Finiteness analysis in polynomial time, 493-508 [Zbl 1015.68041] \textit{Mesnard, Fred; Payet, Etienne; Neumerkel, Ulrich}, Detecting optimal termination conditions of logic programs, 509-525 [Zbl 1015.68032]