程序综合论文

基于归结原理的程序综合设计与实现
论文摘要广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归结原理是一种反证法,人们早已知道可以从归结证明...
基于广义归结的程序综合
论文摘要自动程序设计是计算机科学中的重要研究领域,在人工智能的自动规划、机器人学等分支有重要应用。在程序理论方面,程序综合与程序验证关系密切。程序综合就是从定理机器证明中抽取程...