卡默·阿皮尼;赫尔穆特·塞德尔;维萨尔·沃达尼 通过扩大和缩小范围来加强自上而下的解决方案。 （英语） Zbl 1474.68043号 普罗布斯特（Christian W.Probst）（编辑）等人，《语义学、逻辑学和计算》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际，为他们撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9560, 272-288 (2016). 摘要：我们提出了通用不动点算法的增强技术总监它甚至可以处理非单调方程组的加宽和缩小。与针对其他标准定点算法提出的相应增强相比，不需要对变量有额外的优先级。仍然可以设计一种机制，以便动态插入和删除加宽/缩小运算符的出现。关于整个系列，请参见[Zbl 1327.68022号]. 引用于5文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人，Lect。注释计算。科学。9560272--288（2016年；Zbl 1474.68043） 全文： 内政部