Program Transformation Systems
Program Transformation Systems
复制标题
程序转换系统
DOI：
--
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
Ralf Steinbrüggen
中科院分区：
文献类型：
--
作者：
H. Partsch;Ralf Steinbrüggen
对编程和机械辅助工具的转型方法的兴趣正在增加，以支持计划开发过程。可用辅助工具范围从简单的编辑设备到相当强大的交互式转换系统，甚至到自动合成工具。本文审查并分类了转换系统，旨在使读者了解当前的最新状态，并提供了比较不同方法的基础。它还旨在轻松访问各种方法的特定细节。
Interest is increasing in the transformational approach to programming and in mechanical aids for supporting the program development process. Available aids range from simple editorlike devices to rather powerful interactive transformation systems and even to automatic synthesis tools. This paper reviews and classifies transformation systems and is intended to acquaint the reader with the current state of the art and provide a basis for comparing the different approaches. It is also designed to provide easy access to specific details of the various methodologies.