共 50 条
- [1] A Systematic Approach to Abstract Interpretation of Program Transformations [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 136 - 157
- [4] DEEP LOGIC PROGRAM TRANSFORMATION USING ABSTRACT INTERPRETATION [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 79 - 101
- [5] The Systematic Design of Responsibility Analysis by Abstract Interpretation [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (01):
- [6] Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [9] Program specialisation and abstract interpretation reconciled [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 220 - 234