|
|||||
|
|
| 抽象解释全总域模型 | |
| 引用本文： | 王蓁蓁,倪庆剑,张志政,邢汉承.抽象解释全总域模型[J].中国科学技术大学学报,2014(7). |
| 作者姓名： | 王蓁蓁 倪庆剑 张志政 邢汉承 |
| 作者单位： | 金陵科技学院信息技术学院;江苏省信息分析工程实验室;东南大学计算机科学和工程学院; |
| 基金项目： | 金陵科技学院科研基金(jit-n-201305);2013年度江苏省高校自然科学研究面上自筹经费项目(13KJD520005)资助 |
| 摘 要： | 抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点. |
| 关 键 词： | 抽象解释 语义 全总域 完备性 |
| 本文献已被 CNKI 等数据库收录！ | |