@article{eprints1357,
          author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni},
            year = {2011},
          volume = {5},
           title = {Program transformation for development, verification, and synthesis of programs},
          number = {1},
         journal = {Intelligenza Artificiale},
       publisher = {IOS Press},
           pages = {119--125},
             url = {http://eprints.imtlucca.it/1357/},
        keywords = {Constraint logic programming, model checking, program development, program synthesis, unfold/fold program transformation, software verification },
        abstract = {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.}
}