Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.

本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。

youdao

Abstract: Interpretation rules of declaration of will of General Principles of Civil Code (Draft) are remarkably stipulated, but need to be perfected.

摘要《民法总则草案》设计的意思表示解释规则，可圈可点，但也有需要完善之处。

youdao

Abstract: Interpretation rules of declaration of will of General Principles of Civil Code (Draft) are remarkably stipulated, but need to be perfected.

摘要《民法总则草案》设计的意思表示解释规则，可圈可点，但也有需要完善之处。

youdao