Generalizing the higher-order frame and anti-frame rules
Generalizing the higher-order frame and anti-frame rules
复制标题
高阶框架和反框架规则的推广
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
F. Pottier
中科院分区：
文献类型：
--
作者：
F. Pottier
本非正式说明介绍了高阶框架和反框架规则的通用版本。主要见解在于“张量”算子的两个连续推广。第一步，引入一种“局部不变量”形式，它允许对“括号内的状态变化”进行隐式推理。第二步，添加一种“局部单调性”的形式。
This informal note presents generalized versions of the higherorder frame and anti-frame rules. The main insights reside in two successive generalizations of the “tensor” operator ›. In the first step, a form of “local invariant”, which allows implicit reasoning about “well-bracketed state changes”, is introduced. In the second step, a form of “local monotonicity” is added.