Web:
Aims
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.