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.