Topics Covered

Topics include, but are not limited to: program transformation, abstract interpretation, program slicing, source level software metrics, decompilation, source level testing and verification, source level optimisation and program comprehension. However, the empahsis of the workshop is on the analysis and manipulation techniques themselves.

Mark Harman, Department of Computer Science, King's College London, Strand, London WC2R 2LS.