Next:
Definition of `Source Code'
Up:
About SCAM
Previous:
Aims
 
Contents
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.