Special Issue on Program Transformation

Science of Computer Programming

Guest Editor Ralf Lämmel

Call for contributions

The special issue is devoted to `program transformation' in the sense of automated program adaptation by executable transformations. Such transformations are used in software development and especially in software maintenance in various ways, e.g., for refactoring, software migration, mass maintenance, change logging, schema evolution, program specialisation, software configuration, aspect weaving, and others.

Generally, the SCP special issue is oriented towards the application of program transformation methodology in software development. There is a companion special issue of the Fundamenta Informaticae special edited by Alberto Pettorossi and Maurizio Proietti (http://www.iasi.rm.cnr.it/~adp/fi_pt.html), which is oriented towards theoretical foundations and basic techniques.

The special issue seeks high-quality contributions studying the following dimensions of transformations:

• formal aspects
  such as operator suites for transformations and their properties;

• language design issues
  such as suitable language setups and meta-programming frameworks;

• infra-structural issues
  such as the relation to front-ends, program analysis, interfaces;

• software engineering aspects
  such as scaling, testing and maintaining transformations;

• emerging fields
  such as unanticipated software evolution;

• case studies
  such as lessons learned in large-scale transformation projects.

Deadline for paper submissions:	1 April 2003
Author's notification:	1 August 2003 (revised)
Special issue's publication:	Spring 2004 (revised)

The submissions should be sent in PS or PDF to the guest editor via email. If you are not sure about the suitability of a given subject, or if you want to know more details about the special issue's intent, do not hesitate to contact the guest editor. The guest editor's email address is ralf@cwi.nl; or see the URL http://www.cwi.nl/~ralf/. For details about the policy of the Science of Computer Programming journal and the requirements for prospective authors, see a recent issue of the journal and check the journal's web site http://www.elsevier.com/locate/issn/01676423.