摘要
1 Birkhoff,G.晶格理论。 第三版,学术讨论会出版物,第二十五卷,AMS,罗得岛普罗维登斯,1967年。 谷歌学者 2 Cheatham,T.E.和Townley,J.A.《程序的符号评价:循环分析》。 程序。 1976年ACM交响乐团。 《符号和代数计算》,纽约,1976年8月。 谷歌学者 数字图书馆 3 Cohen,J.和Katcoff,J.有限差分方程的符号解。 研究报告,物理部,Brandeis U.,Waltham,Mass.,1976年7月。 谷歌学者 4 Cousot,P.和Coosot,R.抽象解释:通过构造或近似不动点对程序进行静态分析的统一格模型。 第四交响曲Conf.Rec。 《编程语言原理》,加州洛杉矶,1977年1月,238-252。 谷歌学者 数字图书馆 5 Cousot,P.和Cousot R.递归过程动态特性的静态测定。 IFIP W.G.2.2。 编程概念形式描述工作会议,加拿大新不伦瑞克圣安德鲁斯,1977年8月。 谷歌学者 6 Dijkstra,E.W.编程的一门学科。 新泽西州普伦蒂斯·霍尔,1976年。 谷歌学者 数字图书馆 7 Elspa,B.用于证明程序正确性的归纳断言的半自动生成。 研究代表SRI,加利福尼亚州门罗公园,1974年7月。 谷歌学者 8 Elspa,B.、Green,M.、Levitt,K.和Waldinger,R.交互程序证明技术研究。 加州门罗公园SRI,1972年5月。 谷歌学者 9 Hantler,S.L.和King,J.关于证明程序正确性的介绍。 计算调查8,2(1976年9月),331-353。 谷歌学者 数字图书馆 10 Katz,S.和Manna,Z.程序逻辑分析。 Comm.ACM 19,4(1976年4月),188-206。 谷歌学者 数字图书馆 11 Kleene,S.C.元数学导论。 北荷兰公社。 Co.,阿姆斯特丹,1952年,348-349年。 谷歌学者 12 King,J.程序验证者。 计算机科学系博士。, 卡耐基梅隆大学,宾夕法尼亚州匹兹堡,1969年。 谷歌学者 数字图书馆 13 辛佐夫,M.Vé; rification d'assertions pour des functions usibiliables comme valeurs et afactant des variables exté; 里厄斯。 程序。 国际米兰。 交响乐团。 《证明和改进计划》,法国Arcs et Senans出版社,1975年7月11日至27日。 谷歌学者 14 格理论不动点定理及其应用。 太平洋数学杂志。 5,(1955), 285-309. 谷歌学者 交叉引用 15 Wegbreit,B.机械程序分析。 通信ACM 18,9(1975年9月),528-539。 谷歌学者 数字图书馆
建议
最佳不变断言的自动合成:数学基础 1977年人工智能和编程语言研讨会论文集 根据程序静态分析中的不动点方法,Cousot[1977a],Cousot[1977b],探讨了发现程序不变断言的问题。 在第二节中,我们建立了格理论基础,并在此基础上进行了讨论。。。 最优不变断言的自动合成:数学基础 1977年人工智能和编程语言研讨会论文集 根据程序静态分析中的不动点方法,Cousot[1977a],Cousot[1977b]探讨了发现程序不变量断言的问题。 在第二节中,我们建立了格理论基础,并在此基础上进行了讨论。。。