Proceedings of the Ninth International Working Conference on Source Code Analysis and Manipulation
SCAM, 2009.
@proceedings{SCAM-2009,
address = "Edmonton, Alberta, Canada",
isbn = "978-0-7695-3793-1",
publisher = "{IEEE Computer Society}",
title = "{Proceedings of the Ninth International Working Conference on Source Code Analysis and Manipulation}",
year = 2009,
}
Contents (20 items)
- SCAM-2009-LangeM #communication #csp #named #process #thread #towards
- thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
- SCAM-2009-Giffhorn #concurrent #source code
- Chopping Concurrent Programs (DG), pp. 13–22.
- SCAM-2009-Ward #slicing
- Properties of Slicing Definitions (MPW), pp. 23–32.
- SCAM-2009-QianZX #analysis #lazy evaluation
- Improving Side-Effect Analysis with Lazy Access Path Resolving (JQ, YZ, BX), pp. 35–44.
- SCAM-2009-GutzmannKLL #analysis #points-to #towards
- Towards Comparing and Combining Points-to Analyses (TG, AK, JL, WL), pp. 45–54.
- SCAM-2009-AlvesV #estimation #test coverage
- Static Estimation of Test Coverage (TLA, JV), pp. 55–64.
- SCAM-2009-TiarksKF #assessment #detection #state of the art #tool support
- An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools (RT, RK, RF), pp. 67–76.
- SCAM-2009-Gode #evolution
- Evolution of Type-1 Clones (NG), pp. 77–86.
- SCAM-2009-BinkleyH #clustering #dependence #identification #scalability
- Identifying “Linchpin Vertices” That Cause Large Dependence Clusters (DB, MH), pp. 89–98.
- SCAM-2009-SpaccoW #lightweight
- Lightweight Techniques for Tracking Unique Program Statements (JS, CCW), pp. 99–108.
- SCAM-2009-Prause #fine-grained #maintenance #metadata
- Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging (CP), pp. 109–118.
- SCAM-2009-GutzmannS #java
- Backporting Java 5 Code (TG, TS), pp. 121–122.
- SCAM-2009-CanetCM #analysis #c #source code
- A Value Analysis for C Programs (GC, PC, BM), pp. 123–124.
- SCAM-2009-Ward09a #maintenance #tool support
- The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.
- SCAM-2009-HamiltonD #bytecode #evaluation #java
- An Evaluation of Current Java Bytecode Decompilers (JH, SD), pp. 129–136.
- SCAM-2009-AchenbachO #abstraction #model checking #testing
- Engineering Abstractions in Model Checking and Testing (MA, KO), pp. 137–146.
- SCAM-2009-DavidH #concept
- Concepts as Syntactic Sugar (VD, MH), pp. 147–156.
- SCAM-2009-AlikacemS #framework #metric
- A Metric Extraction Framework Based on a High-Level Description Language (EHA, HAS), pp. 159–167.
- SCAM-2009-KlintSV #analysis #domain-specific language #named #rascal #source code
- RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation (PK, TvdS, JJV), pp. 168–177.
- SCAM-2009-LammelZ #grammar recovery #java #specification
- Recovering Grammar Relationships for the Java Language Specification (RL, VZ), pp. 178–186.