作者:r.c.t. Lee, r.j. Waldinger, c.l. Chang
ACM通信，1974年4月，第17卷第4期，211-217页
10.1145/360924.360967
评论
在1969年Waldinger和Lee提出的程序综合算法的基础上，提出了一种改进的程序综合算法。旧算法将程序综合问题转化为定理证明问题，通过分析证明得到程序。改进后的算法不需要进行分析，只要证明完成即可得到程序。这是通过使用格林在1969年发明的一种改进的变量跟踪机制来实现的。验证了改进算法的正确性;即得到的程序始终满足规范要求。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
