Abstract is missing.
- Type Systems for XMLHaruo Hosoya. 1 [doi]
- The Essence of Dataflow ProgrammingTarmo Uustalu, Varmo Vene. 2-18 [doi]
- Data Refinement with Low-Level Pointer OperationsIvana Mijajlovic, Hongseok Yang. 19-36 [doi]
- A Simple Semantics for Polymorphic RecursionWilliam L. Harrison. 37-51 [doi]
- Symbolic Execution with Separation LogicJosh Berdine, Cristiano Calcagno, Peter W. O Hearn. 52-68 [doi]
- An Abstract Interpretation Perspective on Linear vs. Branching TimeFrancesco Ranzato, Francesco Tapparo. 69-85 [doi]
- The Parallel Implementation of the Astrée Static AnalyzerDavid Monniaux. 86-96 [doi]
- Using Datalog with Binary Decision Diagrams for Program AnalysisJohn Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam. 97-118 [doi]
- Loop Invariants on DemandK. Rustan M. Leino, Francesco Logozzo. 119-134 [doi]
- Integrating Physical Systems in the Static Analysis of Embedded Control SoftwarePatrick Cousot. 135-138 [doi]
- Reflection Analysis for JavaV. Benjamin Livshits, John Whaley, Monica S. Lam. 139-160 [doi]
- Lightweight Family PolymorphismAtsushi Igarashi, Chieri Saito, Mirko Viroli. 161-177 [doi]
- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction CountingWalter Binder. 178-194 [doi]
- Race Conditions in Message Sequence ChartsChien-An Chen, Sara Kalvala, Jane Sinclair. 195-211 [doi]
- A Next-Generation Platform for Analyzing ExecutablesThomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum. 212-229 [doi]
- Calculating Polynomial Runtime PropertiesHugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca. 230-246 [doi]
- Resource Bound Certification for a Tail-Recursive Virtual MachineSilvano Dal-Zilio, Régis Gascon. 247-263 [doi]
- A Path Sensitive Type System for Resource Usage Verification of C Like LanguagesHyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han. 264-280 [doi]
- Termination Analysis of Higher-Order Functional ProgramsDamien Sereni, Neil D. Jones. 281-297 [doi]
- Heterogeneous Fixed Points with Application to Points-To AnalysisAditya Kanade, Uday P. Khedker, Amitabha Sanyal. 298-314 [doi]
- Register Allocation Via Coloring of Chordal GraphsFernando Magno Quintão Pereira, Jens Palsberg. 315-329 [doi]
- Transformation to Dynamic Single Assignment Using a Simple Data Flow AnalysisPeter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor. 330-346 [doi]
- Abstract Dependences for Alarm DiagnosisXavier Rival. 347-363 [doi]
- A Typed, Compositional Logic for a Stack-Based Abstract MachineNick Benton. 364-380 [doi]
- A New Occurrence Counting Analysis for BioAmbientsRoberta Gori, Francesca Levi. 381-400 [doi]
- A Parametric Model for the Analysis of Mobile AmbientsDino Distefano. 401-417 [doi]
- On the Rôle of Abstract Non-interference in Language-Based SecurityIsabella Mastroeni. 418-433 [doi]