CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThe 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.
| Autori: | |
| Autori: | Pettorossi, A; Proietti, M |
| Titolo: | Future directions in program transformation |
| Nome del convegno: | Programming Languages Workshop of the Strategic Directions in Computing Research |
| Luogo del convegno: | BOSTON, MA |
| Anno del convegno: | JUN, 1996 |
| Rilevanza: | Rilevanza internazionale |
| Sezione: | contributo |
| Data di pubblicazione: | 1997 |
| Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni |
| Lingua: | English |
| Altre informazioni significative: | 4 |
| Tipologia: | Intervento a convegno |
| Citazione: | Pettorossi, A., & Proietti, M. (1997). Future directions in program transformation. In ACM SIGPLAN NOTICES (pp.99-102). NEW YORK : ASSOC COMPUTING MACHINERY. |
| Appare nelle tipologie: | 02 - Intervento a convegno |
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.
Copyright © 2020