Abstract is missing.
- Bidirectional Data Flow Analysis in Code Motion: Myth and RealityOliver Rüthing. 1-16 [doi]
- On a New Method for Dataflow Analysis of Java Virtual Machine SubroutinesMasami Hagiya, Akihiko Tozawa. 17-32 [doi]
- Enabling Sparse Constant Propagation of Array Elements via Array SSA FormVivek Sarkar, Kathleen Knobe. 33-56 [doi]
- Assessing the Effects of Flow-Sensitivity on Pointer Alias AnalysesMichael Hind, Anthony Pioli. 57-81 [doi]
- Analysis of Normal Logic ProgramsFrançois Fages, Roberta Gori. 82-98 [doi]
- The Correctness of Set-SharingPatricia M. Hill, Roberto Bagnara, Enea Zaffanella. 99-114 [doi]
- Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: SlicingValérie Gouranton. 115-133 [doi]
- A Symbolic Semantics for Abstract Model CheckingFrancesca Levi. 134-151 [doi]
- Automatic Determination of Communication Topologies in Mobile SystemsArnaud Venet. 152-167 [doi]
- Constructing Specific SOS Semantics for Concurrency via Abstract InterpretationChiara Bodei, Pierpaolo Degano, Corrado Priami. 168-183 [doi]
- A First-Order Language for Expressing Aliasing and Type Properties of Logic ProgramsPaolo Volpe. 184-199 [doi]
- Refining Static Analyses by Trace-Based Partitioning Using Control FlowMaria Handjieva, Stanislav Tzolovski. 200-214 [doi]
- Building Complete Abstract Interpretations in a Linear Logic-based SettingRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari. 215-229 [doi]
- On the Power of Homeomorphic Embedding for Online TerminationMichael Leuschel. 230-245 [doi]
- Analysis of Imperative Programs through Analysis of Constraint Logic ProgramsJulio C. Peralta, John P. Gallagher, Hüseyin Saglam. 246-261 [doi]
- Improving Control in Functional Logic Program SpecializationElvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. 262-277 [doi]
- Directional Type Inference for Logic ProgramsWitold Charatonik, Andreas Podelski. 278-294 [doi]
- Finite Subtype Inference with Explicit PolymorphismDominic Duggan. 295-310 [doi]
- Sparse Jacobian Computation in Automatic Differentiation by Static Program AnalysisMohamed Tadjouddine, F. Eyssette, C. Faure. 311-326 [doi]
- A New Solution to the Hidden Copy ProblemDeepak Goyal, Robert Paige. 327-348 [doi]
- A Tutorial on Domain Theory in Abstract InterpretationRoberto Giacobazzi. 349-350 [doi]
- Program Analysis ::::as:::: Model Checking of Abstract InterpretationsDavid A. Schmidt, Bernhard Steffen. 351-380 [doi]
- Certifying, Optimizing Compilation (Abstract)Peter Lee. 381 [doi]