逻辑程序的结构化变换

作     者：邱涤虹 谢奇光 

作者机构：吉林大学 武汉数字工程研究所 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：1991年第8卷第2期

页      码：1-9页

摘      要：本文讨论了逻辑程序变换的问题,设计了一个基本逻辑程序变换系统,给出了系统的变换规则,提出了一种支持集宽度优先的变换策略,证明了交换系统的正确性,并在此基础上提出了一种逻辑程序结构化变换的方法。

主 题 词：逻辑程序 程序变换 结构化变换 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203159621...