<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Program transformation for development, verification, and synthesis of programs"^^ . "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."^^ . "2011" . . "5" . "1" . . "IOS Press"^^ . . . "Intelligenza Artificiale"^^ . . . "17248035" . . . . . . . . . . . . . . . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Fabio"^^ . "Fioravanti"^^ . "Fabio Fioravanti"^^ . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . . . . . "Program transformation for development, verification, and synthesis of programs (PDF)"^^ . . . . . "Intelligenza_Artificiale_2011_Senni.pdf"^^ . . . "Program transformation for development, verification, and synthesis of programs (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Program transformation for development, verification, and synthesis of programs (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Program transformation for development, verification, and synthesis of programs (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Program transformation for development, verification, and synthesis of programs (Other)"^^ . . . . . . "small.jpg"^^ . . . "Program transformation for development, verification, and synthesis of programs (Other)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1357 \n\nProgram transformation for development, verification, and synthesis of programs\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .