TY  - CHAP
SP  - 7
Y1  - 2008///
T3  - CEUR Workshop Proceedings
T2  - Il Milione (i.e. 2?6, June 3rd 2008) A Journey in the Computational Logic in Italy. 
A1  - Pettorossi, Alberto
A1  - Proietti, Maurizio
A1  - Senni, Valerio
PB  - CEUR Workshop Proceedings
EP  - 14
UR  - http://eprints.imtlucca.it/1378/
N1  - Proceedings of the Day Dedicated to Prof. Alberto Martelli.  Turin, Italy, June 3, 2008. Also in Technical Report of Dipartimento di Informatica, Università degli Studi di Torino, RT 110/08, June 2008, pp. 7-14. Essay Dedicated to Alberto Martelli.
N2  - In this paper we briefly describe the use of the program transformation methodology for the development of correct
and efficient programs. We will consider, in particular,
the case of the transformation and the development of constraint logic programs.
KW  - Constraint logic programming; model checking; program synthesis; unfold/fold program transformation; software verification
AV  - public
TI  - Program Transformation for Development, Verification, and Synthesis of Software
ID  - eprints1378
ER  -