Last Call: SCP Special Issue on Program Transformation; Deadline 1.4.2003

[Ralf Laemmel]

This is a multi-part message in MIME format.
--------------2B42AA1BE7D8668830F63585
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Program Transformation
Special Issue in the Science of Computer Programming
Deadline is 1.4.2003
Find CFC attached 
or at http://www.cwi.nl/~ralf/pt-scp/

(Program transformation is of interest for many subscribers
of this list because program transformation is crucial
for the implementation of functional languages,  and it is
also a typical application domain of functional programming.
Other keywords: Meta-programming, XML processing, refactoring.)

-- 
Ralf Laemmel
VU & CWI, Amsterdam, The Netherlands
http://www.cs.vu.nl/~ralf/
http://www.cwi.nl/~ralf/
--------------2B42AA1BE7D8668830F63585
Content-Type: text/plain; charset=iso-8859-1;
 name="index.txt"
Content-Transfer-Encoding: 8bit
Content-Disposition: inline;
 filename="index.txt"

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. 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 July 2003
 Special issue's publication:    End of 2003

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.


--------------2B42AA1BE7D8668830F63585--