共 50 条
- [31] Relational abstract domains for the detection of floating-point run-time errors PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 3 - 17
- [32] HIGH-LEVEL DEFINITION OF ABSTRACT DOMAINS IN A RELATIONAL DATA-BASE SYSTEM COMPUTER LANGUAGES, 1977, 2 (03): : 61 - 73
- [33] Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 1 - +