共享和线性分析的最优多绑定统一
Optimal multi-binding unification for sharing and linearity analysis
摘要：
在逻辑程序的分析中，用于检测共享属性的抽象域被广泛使用。最近，新的域$\Linp$已被引入到推广共享和线性信息。这个域被赋予一个最佳的抽象运营商单绑定统一。作者声称，重复应用该算子也是多绑定统一的最佳选择。这就是这种说法的证据。
英文摘要：
In the analysis of logic programs, abstract domains for detecting sharing properties are widely used. Recently the new domain $\Linp$ has been introduced to generalize both sharing and linearity information. This domain is endowed with an optimal abstract operator for single-binding unification. The authors claim that the repeated application of this operator is also optimal for multi-binding unification. This is the proof of such a claim.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
