Abstract is missing.
- thr2csp: Toward Transforming Threads into Communicating Sequential ProcessesRobert Charles Lange, Spiros Mancoridis. 3-12 [doi]
- Chopping Concurrent ProgramsDennis Giffhorn. 13-22 [doi]
- Properties of Slicing DefinitionsMartin Ward. 23-32 [doi]
- Improving Side-Effect Analysis with Lazy Access Path ResolvingJu Qian, Yuming Zhou, Baowen Xu. 35-44 [doi]
- Towards Comparing and Combining Points-to AnalysesTobias Gutzmann, Antonina Khairova, Jonas Lundberg, Welf Löwe. 45-54 [doi]
- Static Estimation of Test CoverageTiago L. Alves, Joost Visser. 55-64 [doi]
- An Assessment of Type-3 Clones as Detected by State-of-the-Art ToolsRebecca Tiarks, Rainer Koschke, Raimar Falke. 67-76 [doi]
- Evolution of Type-1 ClonesNils Göde. 77-86 [doi]
- Identifying Linchpin Vertices That Cause Large Dependence ClustersDavid Binkley, Mark Harman. 89-98 [doi]
- Lightweight Techniques for Tracking Unique Program StatementsJaime Spacco, Chadd C. Williams. 99-108 [doi]
- Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and MergingChristian Prause. 109-118 [doi]
- Backporting Java 5 CodeTobias Gutzmann, Tamara Steijger. 121-122 [doi]
- A Value Analysis for C ProgramsGéraud Canet, Pascal Cuoq, Benjamin Monate. 123-124 [doi]
- The FermaT Maintenance Environment Tool DemonstrationMartin Ward. 125-126 [doi]
- An Evaluation of Current Java Bytecode DecompilersJames Hamilton, Sebastian Danicic. 129-136 [doi]
- Engineering Abstractions in Model Checking and TestingMichael Achenbach, Klaus Ostermann. 137-146 [doi]
- Concepts as Syntactic SugarValentin David, Magne Haveraaen. 147-156 [doi]
- A Metric Extraction Framework Based on a High-Level Description LanguageEl Hachemi Alikacem, Houari A. Sahraoui. 159-167 [doi]
- RASCAL: A Domain Specific Language for Source Code Analysis and ManipulationPaul Klint, Tijs van der Storm, Jurgen J. Vinju. 168-177 [doi]
- Recovering Grammar Relationships for the Java Language SpecificationRalf Lämmel, Vadim Zaytsev. 178-186 [doi]