%0 Journal Article
%T 建立于谓词逻辑上的递归程序及其操作语义
%A 邵志清？
%J 软件学报
%P 31-35
%D 1991
%X 对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了loeckx和sieber所宣称的“递归程序的操作语义不能建立于谓词逻辑上”的断言。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910405&flag=1