Abstract is missing.
- Injecting Life with ComputersEhud Y. Shapiro. 1 [doi]
- The Blast Query Language for Software Verification.Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. 2-18 [doi]
- Program Generators and the Tools to Make ThemYannis Smaragdakis. 19-20 [doi]
- Towards Declarative Programming for Web ServicesSheila A. McIlraith. 21 [doi]
- Closed and Logical Relations for Over- and Under-Approximation of PowersetsDavid A. Schmidt. 22-37 [doi]
- Completeness Refinement in Abstract Symbolic Trajectory EvaluationMila Dalla Preda. 38-52 [doi]
- Constraint-Based Linear-Relations AnalysisSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. 53-68 [doi]
- Spatial Analysis of BioAmbientsHanne Riis Nielson, Flemming Nielson, Henrik Pilegaard. 69-83 [doi]
- Modular and Constraint-Based Information Flow Inference for an Object-Oriented LanguageQi Sun, Anindya Banerjee, David A. Naumann. 84-99 [doi]
- Information Flow Analysis in Logical FormTorben Amtoft, Anindya Banerjee. 100-115 [doi]
- Type Inference Against RacesCormac Flanagan, Stephen N. Freund. 116-132 [doi]
- Pointer-Range AnalysisSuan Hsi Yong, Susan Horwitz. 133-148 [doi]
- A Scalable Nonuniform Pointer Analysis for Embedded ProgramsArnaud Venet. 149-164 [doi]
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer AnalysisErik M. Nystrom, Hong-seok Kim, Wen-mei W. Hwu. 165-180 [doi]
- Abstract Interpretation of Combinational Asynchronous CircuitsSarah Thompson, Alan Mycroft. 181-196 [doi]
- Static Analysis of Gated Data Dependence GraphsCharles Hymans, Eben Upton. 197-211 [doi]
- A Polynomial-Time Algorithm for Global Value NumberingSumit Gulwani, George C. Necula. 212-227 [doi]
- Shape Analysis Quantitative Shape AnalysisRadu Rugina. 228-245 [doi]
- A Relational Approach to Interprocedural Shape AnalysisBertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv. 246-264 [doi]
- Partially Disjunctive Heap AbstractionRoman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field. 265-279 [doi]
- An Abstract Interpretation Approach for Automatic Generation of Polynomial InvariantsEnric Rodríguez-Carbonell, Deepak Kapur. 280-295 [doi]
- Approximating the Algebraic Relational Semantics of Imperative ProgramsMichael Colón. 296-311 [doi]
- The Octahedron Abstract DomainRobert Clarisó, Jordi Cortadella. 312-327 [doi]
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted FunctionsSumit Gulwani, George C. Necula. 328-343 [doi]
- On Logics of AliasingMarius Bozga, Radu Iosif, Yassine Lakhnech. 344-360 [doi]
- Generalized Records and Spatial Conjunction in Role LogicViktor Kuncak, Martin C. Rinard. 361-376 [doi]
- Non-termination Inference for Constraint Logic ProgramsÉtienne Payet, Frédéric Mesnard. 377-392 [doi]