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