The program transformation methodology can provide valuable techniques and tools for the development of programs from specifications and the reuse and customization of software products. Also various approaches to program optimization and program verification can be based on transformation techniques.

Pettorossi, A., Proietti, M. (1997). Future directions in program transformation. In ACM SIGPLAN NOTICES (pp.99-102). NEW YORK : ASSOC COMPUTING MACHINERY.

Future directions in program transformation

PETTOROSSI, ALBERTO;
1997-01-01

Abstract

The program transformation methodology can provide valuable techniques and tools for the development of programs from specifications and the reuse and customization of software products. Also various approaches to program optimization and program verification can be based on transformation techniques.
Programming Languages Workshop of the Strategic Directions in Computing Research
BOSTON, MA
JUN, 1996
Rilevanza internazionale
contributo
1997
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
4
Intervento a convegno
Pettorossi, A., Proietti, M. (1997). Future directions in program transformation. In ACM SIGPLAN NOTICES (pp.99-102). NEW YORK : ASSOC COMPUTING MACHINERY.
Pettorossi, A; Proietti, M
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/49579
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact