共 50 条
- [22] A KIND OF PRIVATE MAGIC - BELSHAW,P [J]. TLS-THE TIMES LITERARY SUPPLEMENT, 1994, (4772): : 26 - 26
- [23] Abstract Interpretation: An Illustration [J]. SOUVENIR OF THE 2014 IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2014, : 1419 - 1423
- [25] Interprocedural abstract interpretation [J]. OPTIMAL INTERPROCEDURAL PROGRAM OPTIMIZATION, 1998, 1428 : 109 - 140
- [26] ABSTRACT INTERPRETATION AND INDETERMINACY [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 497 - 511
- [27] Complementation in abstract interpretation [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (01): : 7 - 47
- [28] The quotient of an abstract interpretation [J]. THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 163 - 192
- [29] Probabilistic Abstract Interpretation [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 169 - 193