论文部分内容阅读
该文试图利用抽象数据类型和程序设计语言中的可重用机制，探索简化算法程序设计和证明，进而实现算法设计自动化的有效途径。首先介绍了闭半环这一代数结构（抽象数据类型）和基于闭半环计算有向图各顶点对间“耗费”的抽象算法，对它进行了形式描述和证明，并用ADA中的类属程序包机制实现了抽象数据和抽象运算，给出了用示例语句生成实际算法的条件，并生成了计算网络最大容量路等典型算法。（本刊录）