A BIBLIOGRAPHY ON ABSTRACT INTERPRETATION

被引：0
作者：
NIELSON, F [1 ]
机构：
[1] INST ELECTR SYST,DK-9000 AALBORG,DENMARK
来源：
SIGPLAN NOTICES | 1986年 / 21卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：31 / 38
页数：8
相关论文
共 42 条
  • [1] ABRAMSKY S, 1986, SPRINGER LECTURE NOT
  • [2] ABRAMSKY S, 1985, UNPUB STRICTNESS ANA
  • [3] BURN GL, 1986, SPRINGER LECTURE NOT
  • [4] CLARK CD, SPRINGER LECTURE NOT, V201
  • [5] Cousot P., 1977, SIGPLAN Notices, V12, P77, DOI 10.1145/390017.808314
  • [6] COUSOT P, 1978, 5TH C REC ACM S PRIN
  • [7] COUSOT P, 1980, 7TH ICALP
  • [8] Cousot P., 1978, FORMAL DESCRIPTIONS
  • [9] COUSOT P, 1981, PROGRAM FLOW ANAL TH
  • [10] COUSOT P, 1978, THESIS GRENOBLE
12345