A galois connection calculus for abstract interpretation

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2014-01-08 DOI:10.1145/2535838.2537850

P. Cousot, R. Cousot

引用次数: 16

Abstract

We introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis. This Galois connection calculus and its type system are typed by abstract interpretation.

查看原文本刊更多论文

抽象解释的伽罗瓦连接演算

我们介绍了一种伽罗瓦连接演算，用于编程语言语义、形式验证和静态分析中抽象解释的语言独立规范。通过抽象解释对伽罗瓦连接演算及其类型系统进行了类型化。

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

求助全文

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

来源期刊

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

自引率

0.00%

发文量