Abstract is missing.
- Enforcing Design Constraints with Object LogicDaniel Jackson. 1-21
- Model Checking as Constraint SolvingAndreas Podelski. 22-37
- Abstract Interpretation Based Semantics of Sequent CalculiGianluca Amato, Giorgio Levi. 38-57
- A Transformational Approach for Generating Non-linear InvariantsSaddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech. 58-74
- Deriving Parallel Codes via InvariantsWei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi. 75-94
- Safety of Strictness Analysis via Term Graph RewritingDavid Clark, Chris Hankin, Sebastian Hunt. 95-114
- Checking Cleanness in Linked ListsNurit Dor, Michael Rodeh, Shmuel Sagiv. 115-134
- Confidentiality Analysis of Mobile SystemsJérôme Feret. 135-154
- Unified Analysis of Array and Object References in Strongly Typed LanguagesStephen J. Fink, Kathleen Knobe, Vivek Sarkar. 155-174
- Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for CJeffrey S. Foster, Manuel Fähndrich, Alexander Aiken. 175-198
- Efficient Inference of Static Types for Java BytecodeEtienne Gagnon, Laurie J. Hendren, Guillaume Marceau. 199-219
- Abstract Interpretation of Game PropertiesThomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin. 220-239
- FULLDOC: A Full Reporting Debugger for Optimized CodeClara Jaramillo, Rajiv Gupta, Mary Lou Soffa. 240-259
- Partial Redundancy Elimination on Predicated CodeJens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju. 260-279
- TVLA: A System for Implementing Static AnalysesTal Lev-Ami, Shmuel Sagiv. 280-301
- Tree Schemata and Fair TerminationLaurent Mauborgne. 302-321
- Abstract Interpretation of Probabilistic SemanticsDavid Monniaux. 322-339
- Code Specialization Based on Value ProfilesRobert Muth, Scott A. Watterson, Saumya K. Debray. 340-359
- Flattening Is an ImprovementJames Riely, Jan Prins. 360-376
- Model Checking Guided Abstraction and AnalysisHassen Saïdi. 377-396
- Abstract Domains for Sharing Analysis by Optimal SemanticsFrancesca Scozzari. 397-412
- Concurrency Analysis for JavaCristian Ungureanu, Suresh Jagannathan. 413-432