The program transformation methodology can provide valuable techniques and tools tot 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.
Future Directions in Program Transformation
Proietti;
1996
Abstract
The program transformation methodology can provide valuable techniques and tools tot 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.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.
