ISBN: 3-540-67668-6
TITLE: Static Analysis
AUTHOR: Palsberg, Jens (Ed.)
TOC:

Invited Papers
Enforcing Design Constraints with Object Logic 1
Daniel Jackson
Model Checking as Constraint Solving 22
Andreas Podelski
Contributed Papers
Abstract Interpretation Based Semantics of Sequent Calculi 38
Gianluca Amato, Giorgio Levi
A Transformational Approach for Generating Non linear Invariants 58
Saddek Bensalem, Marius Bozga, Jean Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
Deriving Parallel Codes via Invariants 75
Wie-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
Safety of Strictness Analysis via Term Graph Rewriting 95
David Clark, Chris Hankin, Sebastian Hunt
Checking Cleanness in Linked Lists 115
Nurit Dor, Michael Rodeh, Mooly Sagiv
Condentiality Analysis of Mobile Systems 135
Jrme Feret
Unified Analysis of Array and Object References in Strongly Typed Languages 155
Stephen Fink, Kathleen Knobe, Vivek Sarkar
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C 175
Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken
Efficient Inference of Static Types for Java Bytecode 199
Etienne M. Gagnon, Laurie J. Hendren, Guillaume Marceau
Abstract Interpretation of Game Properties 220
Thomas A. Henzinger, Rupak Majumdar, Freddy Mang, Jean-Franois Raskin
FULLDOC: A Full Reporting Debugger for Optimized Code 240
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa 260
Partial Redundancy Elimination on Predicated Code 260
Jens Knoop, Jean-Franois Collard, Roy Dz-ching Ju
TVLA: A System for Implementing Static Analyses 280
Tal Lev-Ami, Mooly Sagiv
Tree Schemata and Fair Termination 302
Laurent Mauborgne
Abstract Interpretation of Probabilistic Semantics 322
David Monniaux
Code Specialization Based on Value Profiles 340
Robert Muth, Scott Watterson, Saumya Debray
Flattening Is an Improvement 360
James Riely, Jan Prins
Model Checking Guided Abstraction and Analysis 377
Hassen Sadi
Abstract Domains for Sharing Analysis by Optimal Semantics 397
Francesca Scozzari
Concurrency Analysis for Java 413
Cristian Ungureanu, Suresh Jagannathan
Author Index 433
END
