抽象解释的部分等价逻辑关系模型

王蓁蓁

首页> 中文期刊> 《南京大学学报：自然科学版》 >抽象解释的部分等价逻辑关系模型

抽象解释的部分等价逻辑关系模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原系统上的一切关系(包括逻辑关系)的抽象,因此它不是原系统的"简化",而是原系统的一个"深化".从而在此模型上提出的问题具有另外的特征,例如复杂性和多态性等问题.

著录项

来源
《南京大学学报：自然科学版》 |2015年第2期|453-457|共5页
作者
王蓁蓁;
展开▼
作者单位

金陵科技学院软件工程学院;

江苏省信息分析工程实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
抽象解释; 部分等价关系; 逻辑部分等价关系;

相似文献

中文文献
外文文献
专利

1. 论法律解释方法抽象位阶的作用及其逻辑结构 [J] . 王夏昊 ,吴国邦 . 烟台大学学报（哲学社会科学版） . 2018,第005期
2. 一个基于抽象解释部分演绎过程 [J] . 刘椿年 . 软件学报 . 1994,第011期
3. 李嘉图逻辑抽象法及其对经济学方法论的影响——兼论逻辑抽象法与历史描述法的结合 [J] . 罗良文 ,黄强 . 经济问题 . 2009,第8期
4. 逻辑抽象思维与创造性思维--兼谈逻辑抽象思维能力的培养 [J] . 尹鑫 ,代杰 . 广西师范大学学报（哲学社会科学版） . 2000,第003期
5. 写意的现代性——从语言抽象、逻辑抽象到精神抽象 [J] . 冯石 . 现代艺术 . 2020,第007期
6. 基于抽象解释的不变式验证 [C] . ZHANG Yan ,张 ,QIAN Junyan . 第八届信息安全漏洞分析与风险评估大会 . 2015
7. 基于两区间抽象域的抽象解释方法研究与实现 [A] . 丁泽文 . 2017

抽象解释的部分等价逻辑关系模型

摘要

著录项

相似文献

相关主题

期刊订阅