The aim of this workshop is to bring together researchers and practitioners working on theory, techniques and applications
which concern analysis and/or manipulation of the source code
of computer systems. While much attention in the wider software
engineering community is properly directed towards other aspects
of systems development and evolution, such as specification,
design and requirements engineering, it is the source code that
contains the only precise description of the behaviour of the
system. The analysis and manipulation of source code thus remains
a pressing concern.

Topics of Interest

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.
The emphasis of SCAM is on the analysis and manipulation techniques
themselves rather than applications.

Definition of `Source Code'

For the purpose of clarity `source code' is taken to mean any fully executable description of a software system. It is therefore so-construed as to include machine code, very high level languages and executable graphical representations of systems. The term `analysis' is taken to mean any automated or semi-automated procedure which takes source code and yields insight into its meaning. The term `manipulation' is taken to mean any automated or semi-automated procedure which takes and returns source code.