Abstract interpretation

被引：103

作者：

Cousot, P

机构：

[1] DMI, Ecl. Normale Supérieure, Paris

来源：

关键词：

D O I：

10.1145/234528.234740

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：324 / 328

页数：5

相关论文

共 8 条

[1]

Cousot P., 1992, Journal of Logic and Computation, V2, P511, DOI 10.1093/logcom/2.4.511

[2]

COUSOT P, 1994, PROCEEDINGS OF THE 1994 INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES, P95, DOI 10.1109/ICCL.1994.288389

[3]

Cousot P, 1977, POPL, P238, DOI DOI 10.1145/512950.512973

[4]

COUSOT P, 1981, PROGR FLOW ANAL THEO, V10, P303

[5]

DEBRAY SK, 1994, ADV LOGIC PROGRAMMIN, P115

[6]

DEUTSCH A, 1995, P PEPM 95

[7]

JONES N, 1995, SEMANTIC MODELLING

[8]

[No title captured]