This paper presents some ideas concerning program manipulation and program transformation from the early days of their development. Particular emphasis will be given to program transformation techniques in the area of functional programming and constraint logic programming. We will also indicate current applications of program transformation techniques to the verification of program properties and program synthesis.
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Pettorossi, Alberto;Proietti, Maurizio;De Angelis, Emanuele
2024
Abstract
This paper presents some ideas concerning program manipulation and program transformation from the early days of their development. Particular emphasis will be given to program transformation techniques in the area of functional programming and constraint logic programming. We will also indicate current applications of program transformation techniques to the verification of program properties and program synthesis.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
PEPM2024-PettorossiEtAl.pdf
solo utenti autorizzati
Tipologia:
Documento in Post-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
17.51 MB
Formato
Adobe PDF
|
17.51 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
