SETL到Ada:一种树变换的应用

本文描述了原型语言SETL到产生式语言Ada的一种树变换方法。概括介绍了使用可执行规格说明原型的新方法学,然后讨论了甚高级语言SETL的主要特点,扼要介绍程序设计环境Mentor,同时也讨论了程序变换。 在讨论了为什么选择Ada作为目标语言之后,讨论了SETL数据的变换以及Ada的控制结构。作为例子,给出了为何使用抽象语法树的变换以完成Ada的控制结构。最后,给出了一个SETL程序以及它到Ada的变换。