首页|期刊导航|计算机工程与应用|抽象解释理论框架及其应用

抽象解释理论框架及其应用

杨波张明义谢刚

计算机工程与应用2010，Vol.46Issue(8)：16-20,44,6.

计算机工程与应用2010，Vol.46Issue(8)：16-20,44,6.DOI:10.3778/j.issn.1002-8331.2010.08.005

抽象解释理论框架及其应用

Abstract interpretation theory and its application

杨波 ¹张明义 ²谢刚³

作者信息

1. 贵州大学,计算机科学与信息学院,贵阳,550025
2. 贵阳学院,物理与电子信息科学系,贵阳,550005
3. 贵州科学院,贵阳,550001
折叠

摘要

关键词

语义/Galois连接/Widening算子/Narrowing算子/抽象解释

Key words

semantics/Galois connection/Widening operator/Narrowing operator/abstract interpretation

分类

信息技术与安全科学

引用本文复制引用

杨波,张明义,谢刚..抽象解释理论框架及其应用[J].计算机工程与应用,2010,46(8):16-20,44,6.

基金项目

国家自然科学基金(tbe National Natural Science Foundation of China under Grant No.90718009) （tbe National Natural Science Foundation of China under Grant No.90718009）

贵州省科学技术基金(No.[2009]2119) （No.[2009]2119）

贵州省教育厅自然科学基金(the Natural Science Foundation of Department of Education of Guizhou Province,China under Grant No.(2009) （the Natural Science Foundation of Department of Education of Guizhou Province,China under Grant No.(2009）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航