数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
程序变换在程序语言中的一种表示—兼论变换型语言作者：张乃孝原载：软件学报，Vol.4, No.5 P17-23，1993.10 摘要：本文首先引入了“变换型语言”的概念，给出了代表这种语言特征的机制：“变 换模块”和“变换控制命令”的具体定义；举例说明了如何使用“变换模块”描述 一个抽象数据类型的部分实现，并通过“变换控制命令”来完成程序中抽象变量及 有关操作的变换过程；最后，讨论了变换型语言表示的抽象性，一般性和控制的灵 活性，以及变换型程序的正确性等问题。 关键词: 下载：[txt]
论文著作的详细列表
|
|||