Fundamenta Informaticae

Editor-in-Chief: Andrzej Skowron

Special Issues on

Program Transformation: Theoretical Foundations and Basic Techniques

Part I:  Vol. 66, No. 4 April-May 2005   

Part II: Vol. 69, Nos. 1-2 Winter 2005-2006

Guest Editors:

Alberto Pettorossi, University of Roma Tor Vergata, Italy (

Maurizio Proietti, IASI CNR, Roma, Italy

Call for Papers

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 ( 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:

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 ( 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

Authors are also requested to email a title and a  five line abstract in plain text as early as possible to to facilitate organization.