Source Transformation, Source Processing

VADA: A Transformation-based System for Variable Dependence Analysis
Mark Harman, Lin Hu, Chris Fox, Sebastian Danicic, Joachim Wegener

Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs
Christian Bishof, Hans Martin Buecker, Bruno Lang, Arno Rasch, Andre Vehreschild

Mechanized Operational Semantics of WSL
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Handling Preprocessor-conditioned Declarations
Lerina Aversano, Massimiliano di Penta, Ira Baxter

Grammar Programming in TXL
Thomas Dean, James Cordy, Andrew Malton, Kevin Schneider


Mark Harman, Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH.