[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:115] special issue with coverage of partial evolution
Dear colleages,
please find the following CFC for a
an SCP special issue on program transformation.
I post the CFC to this list because program specialisation
and partial evaluation is among the topics of
interest.
Regards,
Ralf Laemmel
--
Ralf Laemmel
VU & CWI, Amsterdam, The Netherlands
http://www.cs.vu.nl/~ralf/
http://www.cwi.nl/~ralf/
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.