Abstract interpretation and application to logic programs
- 作者Patrick Cousot; Radhia Cousot
- 卷第13卷
- 印刷ISSN0743-1066
- 文件大小5795.65KB
- 发表时间1992
- DOI10.1016/0743-1066(92)90030-7
- 页码103-179
同作者推荐
Distributed processing of logic programsWolfson, Ouri; Silberschatz, Avi · ACM SIGMOD Record · 1988
[ACM Press the 1988 ACM SIGMOD international conference - Chicago, Illinois, United States (1988.06.01-1988.06.03)] Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88 - Distributed processing of logic programsWolfson, Ouri; Silberschatz, Avi · 1988