The aim of this working conference 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 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 emphasis of the working conference is on the analysis and manipulation techniques themselves.
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.
|Deadline for submission||:||Abstract due: April 23, 2007|
|:||Full paper due: April 30, 2007|
|Notification||:||June 11, 2007|
|Camera Ready Due||:||July 9, 2007|
|Working Conference||:||30th September-1st October 2007|