An experimental program transformation and synthesis system
作者：
Highlights：
•
摘要
This paper concentrates on the practical aspects of a program transformation system being developed. It describes the present performance of the system and outlines the techniques and heuristics used.
论文关键词：
论文评审过程：Received 21 May 1979, Available online 20 February 2003.
论文官网地址：https://doi.org/10.1016/0004-3702(81)90014-X
