共 50 条
- [1] Relational String Abstract Domains VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2022, 2022, 13182 : 20 - 42
- [2] A logical model for relational abstract domains ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 1067 - 1109
- [4] Abstract Domains and Solvers for Sets Reasoning LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 356 - 371
- [8] Assessment of abstract reasoning abilities in alcohol-dependent subjects: an fMRI study Neuroradiology, 2014, 56 : 69 - 77
- [10] Beyond iteration vectors: Instancewise relational abstract domains STATIC ANALYSIS, PROCEEDINGS, 2006, 4134 : 161 - 180