Abstract is missing.
- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng. 1-18 [doi]
- Static Analyses for Eliminating Unnecessary Synchronization from Java ProgramsJonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers. 19-38 [doi]
- Dynamic Partitioning in Analyses of Numerical PropertiesBertrand Jeannet, Nicolas Halbwachs, Pascal Raymond. 39-50 [doi]
- Polyhedral Analysis for Synchronous LanguagesFrédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin. 51-68 [doi]
- Decomposing Non-redundant Sharing by ComplementationEnea Zaffanella, Patricia M. Hill, Roberto Bagnara. 69-84 [doi]
- Freeness Analysis Through Linear RefinementPatricia M. Hill, Fausto Spoto. 85-100 [doi]
- Binary Decision GraphsLaurent Mauborgne. 101-116 [doi]
- Binding-Time Analysis for Both Static and Dynamic ExpressionsKenichi Asai. 117-133 [doi]
- Abstract Interpretation of Mobile AmbientsRené Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson. 134-148 [doi]
- Abstracting Cryptographic Protocols with Tree AutomataDavid Monniaux. 149-163 [doi]
- State Space Reduction Based on Live Variables AnalysisMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu. 164-178 [doi]
- Partial Dead Code Elimination Using Extended Value GraphMunehiro Takimoto, Kenichi Harada. 179-193 [doi]
- Translating Out of Static Single Assignment FormVugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam. 194-210 [doi]
- Eliminating Dead Code on Recursive DataYanhong A. Liu, Scott D. Stoller. 211-231 [doi]
- Detecting Equalities of Variables: Combining Efficiency with PrecisionOliver Rüthing, Jens Knoop, Bernhard Steffen. 232-247 [doi]
- A New Class of Functions for Abstract InterpretationJörg Köller, Markus Mohnen. 248-263 [doi]
- Equational SemanticsLoïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel. 264-283 [doi]
- Abstract Animator for Temporal Specifications: Application to TLADominique Cansell, Dominique Méry. 284-299 [doi]
- Static Analysis of Mega-ProgramsDaniel Weise. 300-302 [doi]
- Safety versus SecrecyDennis M. Volpano. 303-311 [doi]
- On the Complexity Analysis of Static AnalysesDavid A. McAllester. 312-329 [doi]
- Model-Checking: A Tutorial IntroductionMarkus Müller-Olm, David A. Schmidt, Bernhard Steffen. 330-354 [doi]
- Tutorial: Techniques to Improve the Scalability and Precision of Data Flow AnalysisMary Lou Soffa. 355-356 [doi]