| Static Program Analysis via 3-Valued Logic / Thomas Reps |
| Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges / Robert J. Hall |
| An Algebraic Approach to the Static Analysis of Concurrent Software / Javier Esparza |
| Polynomial Constants Are Decidable / Markus Müller-Olm ; Helmut Seidl |
| Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi / Flemming Nielson ; Hanne Riis Nielson |
| Nonuniform Alias Analysis of Recursive Data Structures and Arrays / Arnaud Venet |
| Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes / B. Jeannet |
| Automated Verification of Concurrent Linked Lists with Counters / Tuba Yavuz-Kahveci ; Tevfik Bultan |
| Backward Type Inference Generalises Type Checking / Lunjin Lu ; Andy King |
| More Precise Yet Efficient Type Inference for Logic Programs / Claudio Vaucheret ; Francisco Bueno |
| A Few Graph-Based Relational Numerical Abstract Domains / Antoine Miné |
| Static Analysis of the Numerical Stability of Loops / Matthieu Martel |
| On Termination of Logic Programs with Floating Point Computations / Alexander Serebrenik ; Danny De Schreye |
| Modular Control Flow Analysis for Libraries / Christian W. Probst |
| An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages / John Whaley ; Monica S. Lam |
| Compactly Representing First-Order Structures for Static Analysis / R. Manevich ; G. Ramalingam ; J. Field ; D. Goyal ; M. Sagiv |
| Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library / Roberto Bagnara ; Elisa Ricci ; Enea Zaffanella ; Patricia M. Hill |
| Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis / Stephen Adams ; Thomas Ball ; Manuvir Das ; Sorin Lerner ; Sriram K. Rajamani ; Mark Seigle ; Westley Weimer |
| Improving the Precision of Equality-Based Dataflow Analyses / Erik Ruf |
| Guaranteed Optimization: Proving Nullspace Properties of Compilers / Todd L. Veldhuizen ; rew Lumsdaine |
| Representation Analysis for Coercion Placement / Karl-Filip Faxén |
| Pipeline Modeling for Timing Analysis / Marc Langenbach ; Stephan Thesing ; Reinhold Heckmann |
| Analysing Approximate Confinement under Uniform Attacks / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky |
| An Improved Constraint-Based System for the Verification of Security Protocols / Ricardo Corin ; Sandro Etalle |
| From Secrecy to Authenticity in Security Protocols / Bruno Blanchet |
| Security Typings by Abstract Interpretation / Mirko Zanotti |
| Static Confidentiality Enforcement for Distributed Programs / Andrei Sabelfeld ; Heiko Mantel |
| Refinement of LTL Formulas for Abstract Model Checking / MarÃa del Mar Gallardo ; Pedro Merino ; Ernesto Pimentel |
| Making Abstract Model Checking Strongly Preserving / Francesco Ranzato ; Francesco Tapparo |
| Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties / Damien Massé |
| Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation / Charles Hymans |
| States vs. Traces in Model Checking by Abstract Interpretation / Roberto Giacobazzi |
| Reuse of Results in Termination Analysis of Typed Logic Programs / Maurice Bruynooghe ; Michael Codish ; Samir Genaim ; Wim Vanhoof |
| Finiteness Analysis in Polynomial Time / Chin Soon Lee |
| Detecting Optimal Termination Conditions of Logic Programs / Fred Mesnard ; Etienne Payet ; Ulrich Neumerkel |
| Author Index |
| Static Program Analysis via 3-Valued Logic / Thomas Reps |
| Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges / Robert J. Hall |
| An Algebraic Approach to the Static Analysis of Concurrent Software / Javier Esparza |
ＥＢ
