Proceedings of the Sixth International Workshop on Source Code Analysis and Manipulation
SCAM, 2006.
@proceedings{SCAM-2006, address = "Philadelphia, Pennsylvania, USA", isbn = "0-7695-2353-6", publisher = "{IEEE Computer Society}", title = "{Proceedings of the Sixth International Workshop on Source Code Analysis and Manipulation}", year = 2006, }
Contents (20 items)
- SCAM-2006-GallagherBH #slicing
- Stop-List Slicing (KG, DB, MH), pp. 11–20.
- SCAM-2006-BeszedesGG #algorithm #dependence #slicing
- Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (ÁB, TG, TG), pp. 21–30.
- SCAM-2006-PanKW #classification #debugging #metric #slicing #using
- Bug Classification Using Program Slicing Metrics (KP, SK, EJWJ), pp. 31–42.
- SCAM-2006-BinkleyHK #animation #approximate #static analysis
- Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
- SCAM-2006-SawinR #algorithm #graph #runtime
- Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.
- SCAM-2006-ZhangR #graph #java #library
- Constructing Accurate Application Call Graphs For Java To Model Library Callbacks (WZ, BGR), pp. 63–74.
- SCAM-2006-WalensteinMCL #normalisation #term rewriting #using
- Normalizing Metamorphic Malware Using Term Rewriting (AW, RM, MRC, AL), pp. 75–84.
- SCAM-2006-FaganHU #data transformation #modelling #representation #semantics
- Data Representation Alternatives in Semantically Augmented Numerical Models (MWF, LH, JU), pp. 85–94.
- SCAM-2006-JacobsL #c #metaprogramming #semantics
- SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.
- SCAM-2006-Bruntink #analysis #tool support
- Linking Analysis and Transformation Tools with Source-Based Mappings (MB), pp. 107–116.
- SCAM-2006-ThurstonC #evolution #txl
- Evolving TXL (ADT, JRC), pp. 117–126.
- SCAM-2006-FulopGF #c++ #design pattern #mining #tool support
- Evaluating C++ Design Pattern Miner Tools (LJF, TG, RF), pp. 127–138.
- SCAM-2006-LawrieFB #consistency #identifier
- Syntactic Identifier Conciseness and Consistency (DL, HF, DB), pp. 139–148.
- SCAM-2006-BoogerdM #profiling #using
- Prioritizing Software Inspection Results using Static Profiling (CB, LM), pp. 149–160.
- SCAM-2006-WykKBJSR #c #compilation #composition #framework #java #tool support
- Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
- SCAM-2006-NogueraP #java #named #programming #validation
- AVal: an Extensible Attribute-Oriented Programming Validator for Java (CN, RP), pp. 175–183.
- SCAM-2006-HenriksenG #abstract interpretation #logic programming #source code
- Abstract Interpretation of PIC Programs through Logic Programming (KSH, JPG), pp. 184–196.
- SCAM-2006-LiT #case study #comparative #erlang #haskell #refactoring #source code
- Comparative Study of Refactoring Haskell and Erlang Programs (HL, SJT), pp. 197–206.
- SCAM-2006-StreinKL #program analysis #refactoring
- Cross-Language Program Analysis and Refactoring (DS, HK, WL), pp. 207–216.
- SCAM-2006-CollardKM #difference
- Factoring Differences for Iterative Change Management (MLC, HHK, JIM), pp. 217–226.
3 ×#java
3 ×#slicing
3 ×#tool support
3 ×#using
2 ×#algorithm
2 ×#c
2 ×#graph
2 ×#refactoring
2 ×#semantics
2 ×#source code
3 ×#slicing
3 ×#tool support
3 ×#using
2 ×#algorithm
2 ×#c
2 ×#graph
2 ×#refactoring
2 ×#semantics
2 ×#source code