Meta-circular abstract interpretation in prolog

被引：0
|
作者：
Codish, Michael [1 ]
Søndergaard, Harald [2 ]
机构：
[1] Dept. of Computer Science, Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel
[2] Dept. of Computer Science and Software Eng., Univ. of Melbourne, Australia
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002年 / 2566 LNCS卷
关键词：
D O I：
10.1007/3-540-36377-7_6
中图分类号：
学科分类号：
摘要：
61
引用
收藏
页码：109 / 134
相关论文
共 50 条
12345