Publication Date:
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.
Iris type:
01.01 Articolo in rivista
List of contributors: