共 50 条
- [2] Program analysis, debugging, and optimization using the Ciao system preprocessor [J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 54 - 66
- [3] DEEP LOGIC PROGRAM TRANSFORMATION USING ABSTRACT INTERPRETATION [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 79 - 101
- [4] Using Fuzzing to Help Abstract Interpretation ased Program Verification [J]. 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 782 - 783
- [7] Program specialisation and abstract interpretation reconciled [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 220 - 234
- [8] Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving [J]. 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, : 196 - 201
- [9] Capitalizing software development skills using CBR: The CIAO-SI system [J]. INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2004, 3029 : 483 - 491
- [10] Optimal Program Synthesis via Abstract Interpretation [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):