TY  - JOUR
TI  - Program transformation for development, verification, and synthesis of programs
EP  - 125
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.
A1  - Fioravanti, Fabio
A1  - Pettorossi, Alberto
A1  - Proietti, Maurizio
A1  - Senni, Valerio
SN  - 1724-8035
VL  - 5
PB  - IOS Press
UR  - http://iospress.metapress.com/content/807V7Q08035228H8
IS  - 1
SP  - 119
ID  - eprints1357
KW  - Constraint logic programming
KW  -  model checking
KW  -  program development
KW  -  program synthesis
KW  -  unfold/fold program transformation
KW  -  software verification 
AV  - public
JF  - Intelligenza Artificiale
Y1  - 2011///
ER  -