3. SCAM 2003: Amsterdam, The Netherlands

@proceedings{DBLP:conf/scam/2003,
  title     = {3rd IEEE International Workshop on Source Code Analysis and Manipulation
               (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands},
  booktitle = {SCAM},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-2005-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Static Analysis

• David J. Pearce, Paul H. J. Kelly, Chris Hankin:
  Online Cycle Detection and Difference Propagation for Pointer Analysis. 3-12
  
• Matthieu Martel:
  Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. 13-21
  
• Jean-Marie Favre:
  CPP Denotational Semantics. 22-
  

Object Oriented Code

• Michael English, Jim Buckley, Tony Cahill:
  Applying Meyer's Taxonomy to Object-Oriented Software Systems. 35-44
  
• Richard Wheeldon, Steve Counsell:
  Power Law Distributions in Class Relationships. 45-54
  
• Neil Walkinshaw, Marc Roper, Murray Wood:
  The Java System Dependence Graph. 55-64
  
• Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser:
  Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. 65-
  

Keynote

• Chris Verhoef:
  Managing Multi-Billion Dollar IT Budgets using Source Code Analysis. 77-
  

Slicing

• Jens Krinke:
  Barrier Slicing and Chopping. 81-87
  
• Martin P. Ward:
  Slicing the SCAM Mug: A Case Study in Semantic Slicing. 88-97
  
• Aditya Rajeev Kulkarni, S. Ramesh:
  Static Slicing of Reactive Programs. 98-107
  
• Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue:
  Design and Implementation of Bytecode-based Java Slicing System. 108-117
  
• Ákos Kiss, Judit Jász, Gábor Lehotai, Tibor Gyimóthy:
  Interprocedural Static Slicing of Binary Executables. 118-
  

Program Transformations

• Maxim Mossienko, Oleg Khaschansky, Dmitriy Antonov, Oleg Smirnov, Anton Gubanov:
  Towards managing environment dependence during legacy systems renovation and maintenance. 131-140
  
• Karina Olmos, Eelco Visser:
  Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. 141-150
  
• Xinping Guo, James R. Cordy, Thomas R. Dean:
  Unique Renaming of Java Using Source Transformation. 151-160
  
• Jan Kort, Ralf Lämmel:
  Parse-Tree Annotations Meet Re-Engineering Concerns. 161-
  

Tools and Techniques

• Giuliano Antoniol, Massimiliano Di Penta, Gianluca Masone, Umberto Villano:
  XOgastan: XML-Oriented gcc AST Analysis and Transformations. 173-182
  
• António Menezes Leitão:
  Detection of Redundant Code using R2D2. 183-192
  
• Patrick Moseley, Saumya K. Debray, Gregory R. Andrews:
  Checking Program Profiles. 193-202
  
• David Binkley, Mark Harman:
  Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. 203-
  

Last update Thu May 24 04:42:06 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page