On the Notion of Expressiveness and the Rule of Adaption
On the Notion of Expressiveness and the Rule of Adaption
复制标题
论表现性概念与顺应规则
DOI：
10.1016/0304-3975(83)90009-9
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
E. Olderog
中科院分区：
文献类型：
--
作者：
E. Olderog
在本文中，我们将两个乍看起来毫不相关的关于类hoare证明系统的完整性的问题结合在一起：断言语言的表达性和适应规则。通过对四个已出版版本的《适应规则》的合理性和相对完整性的调查，并借助一些关于表达性的一般推理技术，将这些不同的问题联系起来。
In this note two issues concerning completeness of Hoare-like proof systems which seem unrelated at first sight are brought together: Expressiveness of the assertion language and the Rule of Adaptation. These different issues are connected by investigating soundness and relative completeness of four published versions of the Rule of Adaptation with help of some general techniques for reasoning about expressiveness.