Enhancing Top-Down Solving with Widening and Narrowing
Enhancing Top-Down Solving with Widening and Narrowing
复制标题
通过扩大和缩小范围来增强自上而下的求解
DOI：
10.1007/978-3-319-27810-0_14
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Vesal Vojdani
中科院分区：
文献类型：
--
作者：
Kalmer Apinis;H. Seidl;Vesal Vojdani
我们提出了一种改进的通用不动点算法TD，它甚至可以处理非单调方程组的加宽和缩窄问题。与为其他标准定点算法提出的相应增强相比，不需要对变量设置额外的优先级。尽管如此，可以设计一种机制，以便动态插入和删除加宽/缩窄运算符的匹配项。
We present an enhancement of the generic fixpoint algorithm TD which can deal with widening and narrowing even for non-monotonic systems of equations. In contrast to corresponding enhancements proposed for other standard fixpoint algorithms, no extra priorities on variables are required. Still, a mechanism can be devised so that occurrences of the widening/narrowing operator are inserted as well as removed dynamically.
在 Coq 中验证本地通用求解器
DOI：
10.1007/978-3-642-15769-1_21
发表时间：
2010
期刊：
影响因子：
--
作者：
Martin Hofmann;Aleksandr Karbyshev;Helmut Seidl
通讯作者：
Helmut Seidl
什么是纯函数？
DOI：
10.1007/978-3-642-14162-1_17
发表时间：
2010
期刊：
影响因子：
--
作者：
Martin Hofmann;Aleksandr Karbyshev;Helmut Seidl
通讯作者：
Helmut Seidl