an abstract interpretation的意思|示意
美 / /
英 / /
抽象的解释
an abstract interpretation的网络常见释义
理想化的解释 除此之外，因果陈述逻辑的语义解释被称为“理想化的解释（an abstract interpretation）”，这种抽象的解释以两个理想化的系统（形式语言（L）和模型集合（M））之间的关系为研究对象。