The Community for Technology Leaders
Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation (2002)
Montreal, Canada
Oct. 1, 2002 to Oct. 1, 2002
ISBN: 0-7695-1793-5
Keynote Address
Session I: Testing, Metrics, Maintenance

An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages (Abstract)

T. J. Harmer , The Queen?s University of Belfast
F. G. Wilkie , The University of Ulster
pp. 26
Session II: Source Transformation, Source Processing

VADA: A Transformation-Based System for Variable Dependence Analysis (Abstract)

Mark Harman , Brunel University
Chris Fox , Essex University
Rob Hierons , Brunel University
Lin Hu , Brunel University
Sebastian Danicic , Goldsmiths College
Joachim Wegener , DaimlerChrysler
pp. 55

Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs (Abstract)

C. H. Bischof , Aachen University
H. M. Bücker , Aachen University
B. Lang , Aachen University
A. Rasch , Aachen University
A. Vehreschild , Aachen University
pp. 65

Mechanized Operational Semantics of WSL (Abstract)

Xingyuan Zhang , University of Durham
Malcolm Munro , University of Durham
Mark Harman , Brunel University
Lin Hu , Brunel University
pp. 73

Handling Preprocessor-Conditioned Declarations (Abstract)

Lerina Aversano , University of Sannio
Massimiliano Di Penta , University of Sannio
Ira. D. Baxter , Semantic Designs Inc.
pp. 83

Grammar Programming in TXL (Abstract)

Thomas R. Dean , Queen?s University
James R. Cordy , Queen?s University
Andrew J. Malton , University of Waterloo
Kevin A. Schneider , University of Saskatchewan
pp. 93
Session III: Slicing

An Interprocedural Amorphous Slicer for WSL (Abstract)

Mark Harman , BruneI University
Lin Hu , BruneI University
Malcolm Munro , University of Durham
Xingyuan Zhang , University of Durham
Sebastian Danicic , Goldsmiths College
Mohammed Daoudi , Goldsmiths College
Lahcen Ouarbya , Goldsmiths College
pp. 105

Dynamic Slicing Object-Oriented Programs for Debugging (Abstract)

Baowen Xu , Southeast University
Zhenqiang Chen , Southeast University
Hongji Yang , De Montfort University
pp. 115

Predicate-Based Dynamic Slicing of Message Passing Programs (Abstract)

Juergen Rilling , Concordia University
Hon F. Li , Concordia University
Dhrubajyoti Goswami , Concordia University
pp. 133
Session IV: Dependence Graphs, Static Analysis

Precise Call Graph Construction in the Presence of Function Pointers (Abstract)

Ana Milanova , Rutgers University
Atanas Rountev , Rutgers University
Barbara G. Ryder , Rutgers University
pp. 155

Visualization of Exception Propagation for Java Using Static Analysis (Abstract)

Byeong-Mo Chang , Sookmyung Women?s University
Jang-Wu Jo , Pusan University of Foreign Studies
Soon Hee Her , Sookmyung Women?s University
pp. 173
Author Index

Author Index (PDF)

pp. 183
92 ms
(Ver 3.3 (11022016))