Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Fundamenta Informaticae Special issue on program transformation ---
Call for contributions
This special issue is devoted to the various aspects of program transformation
as they developed during the last decades in different programming paradigms
such as imperative, functional, and logic languages. It gives special emphasis
to the theoretical foundations and basic techniques of program transformation
such as: the various approaches and formalisms, the correctness of the
transformations, the relationship with program analysis, program synthesis,
program specialization, partial evaluation, and theorem proving.
This issue is a companion to the special issue of Science of Computer
Programming edited by Prof. Ralf Lämmel (http://homepages.cwi.nl/~ralf/pt-scp/)
which is more oriented towards the applications of the program transformation
methodology in software development.
We seek high-quality contributions on program transformation. Topics
include, but are not limited to:
transformation approaches and formalisms:
rule-based, calculation-based, schema-based;
program transformation in different programming languages:
languages and systems for specifying and applying program transformations;
case studies:
derivation of non-trivial algorithms from specifications,
automated generation of software systems.
Revised and enhanced versions of papers published in conference proceedings
that have not appeared in archival journals are eligible for submission.
Surveys and papers comparing different existing techniques are also solicited.
Deadline for paper submissions:
31 March 2004 Notification to authors:
31 August 2004
Publication of the special issue (tentative): end
of 2004
The submissions should be sent in latex and ps formats to the guest
editors via email (alberto.pettorossi@uniroma2.it).
For further information about the special issue, please do not hesitate
to contact the guest editors: Alberto Pettorossi, DISP, Via del Politecnico
1, University of Roma Tor Vergata, 00133 Roma (Italy) and Maurizio Proietti,
IASI-CNR, Viale Manzoni 30, 00185 Roma (Italy). For details about the policy
of the FUNDAMENTA INFORMATICAE journal and the requirements for
prospective authors, see a recent issue of the journal or check the journal's
web site http://fi.mimuw.edu.pl/.
Authors are also requested to email a title and a five line abstract
in plain text as early as possible to alberto.pettorossi@uniroma2.it
to
facilitate organization.