Next: Slicing
Up: Technical Program
Previous: Testing, Metrics, Maintenance
  Contents
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