TY  - JOUR
VL  - 5
Y1  - 2011///
JF  - Intelligenza Artificiale
IS  - 1
PB  - IOS Press
A1  - Fioravanti, Fabio
A1  - Pettorossi, Alberto
A1  - Proietti, Maurizio
A1  - Senni, Valerio
SP  - 119
ID  - eprints1357
EP  - 125
KW  - Constraint logic programming
KW  -  model checking
KW  -  program development
KW  -  program synthesis
KW  -  unfold/fold program transformation
KW  -  software verification 
TI  - Program transformation for development, verification, and synthesis of programs
AV  - public
UR  - http://iospress.metapress.com/content/807V7Q08035228H8
SN  - 1724-8035
N2  - This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through some examples, we will show how by program transformation, one can improve, synthesize, and verify programs.
ER  -