中国最大的综合性文献数据库 -维普资讯 关键词: 抽象解释理论 Galois连接 程序验证[gap=1103]Key words: abstract interpretation theory; Galois connection; program verification
基于6个网页-相关网页
本文基于抽象解释理论框架,扩展了经典的区间抽象,提出了一种扩展区间的方法来表示变量的值范围信息。
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
给出了抽象安全策略的新定义,并用无干扰理论重新进行了解释。
The security policy is abstractly redefined, and made a new interpretation in noninterference theory.
语义三角是一种用简洁、形象的几何图形对抽象的语言实质进行解释的模式理论。
The semantic triangle is a concise symbol intended to explain the abstract nature of language.
应用推荐