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

• 作者: 王蓁蓁
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 抽象解释 部分等价关系 逻辑部分等价关系
• 年，卷（期）: 2015,（2）
• 页码范围: 453-457
• 页数: 5页
• 分类号: TP311
• 字数: 4738字
• 语种: 中文
• DOI: 10.13232/j.cnki.jnju.2015.02.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王蓁蓁	金陵科技学院软件工程学院	24	161	3.0	12.0