弱关系数值抽象的加宽运算符（扩展抽象）
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
摘要：
我们讨论了最近发现的一些外推算子弱关系数值域的发散问题。我们确定的分歧的原因，并指出，诉诸更具体的，句法域可以避免通过研究合适的算法，消除冗余的限制，在所选择的表示。
英文摘要：
We discuss the divergence problems recently identified in some extrapolation operators for weakly-relational numeric domains. We identify the cause of the divergences and point out that resorting to more concrete, syntactic domains can be avoided by researching suitable algorithms for the elimination of redundant constraints in the chosen representation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
