9. SCAM 2009: Edmonton, Alberta, Canada

Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3793-1

Slicing & Concurrency

Robert Charles Lange, Spiros Mancoridis:
thr2csp: Toward Transforming Threads into Communicating Sequential Processes. 3-12
Dennis Giffhorn:
Chopping Concurrent Programs. 13-22
Martin P. Ward:
Properties of Slicing Definitions. 23-32

Dependence Analysis

Ju Qian, Yuming Zhou, Baowen Xu:
Improving Side-Effect Analysis with Lazy Access Path Resolving. 35-44
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg, Welf Löwe:
Towards Comparing and Combining Points-to Analyses. 45-54
Tiago L. Alves, Joost Visser:
Static Estimation of Test Coverage. 55-64

Clones

Rebecca Tiarks, Rainer Koschke, Raimar Falke:
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools. 67-76
Nils Göde:
Evolution of Type-1 Clones. 77-86

Code Tracing

David Binkley, Mark Harman:
Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. 89-98
Jaime Spacco, Chadd C. Williams:
Lightweight Techniques for Tracking Unique Program Statements. 99-108
Christian Prause:
Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging. 109-118

Tools Demos

Tobias Gutzmann, Tamara Steijger:
Backporting Java 5 Code. 121-122
Géraud Canet, Pascal Cuoq, Benjamin Monate:
A Value Analysis for C Programs. 123-124
Martin P. Ward:
The FermaT Maintenance Environment Tool Demonstration. 125-126

Abstraction & Reverse Engineering

James Hamilton, Sebastian Danicic:
An Evaluation of Current Java Bytecode Decompilers. 129-136
Michael Achenbach, Klaus Ostermann:
Engineering Abstractions in Model Checking and Testing. 137-146
Valentin David, Magne Haveraaen:
Concepts as Syntactic Sugar. 147-156

Analysis Frameworks

El Hachemi Alikacem, Houari A. Sahraoui:
A Metric Extraction Framework Based on a High-Level Description Language. 159-167
Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. 168-177
Ralf Lämmel, Vadim Zaytsev:
Recovering Grammar Relationships for the Java Language Specification. 178-186

Last update Fri May 25 08:35:52 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page