On Various Abstract Understandings of Abstract Interpretation

2015 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2015-09-12 DOI:10.1109/TASE.2015.29

P. Cousot

引用次数: 0

Abstract

We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.

查看原文本刊更多论文

论抽象解释的各种抽象理解

我们讨论了在不同抽象层次上对抽象解释理论和实践的几种可能的理解和误解。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量