论文部分内容阅读
文中介绍了一个程序规范自动检测与修正系统ＡＤＲＳ的理论模型，在开放逻辑的思想基础上，文中提出了一种自动修正模型，并试图对李未提出的３个问题给出解决方案。作为对第１个问题的解决，作者提出了一种刻画程序规范重要性程度的全序结构，克服了加标记的二分法地粗糙性。作为对第２个问题的解决，作者提出了修正函数的定义和Ｒ－计算模型，并证明了该模型满足修正函数的要求。作为对第３个问题的解决，作者提出了Ｔ－修正函数的