共 50 条
- [1] DI - AN INTERACTIVE DEBUGGING INTERPRETER FOR APPLICATIVE LANGUAGES (EXTENDED ABSTRACT) [J]. SIGPLAN NOTICES, 1987, 22 (07): : 102 - 112
- [2] Interactive Debugging of Concurrent Programs under Relaxed Memory Models [J]. CGO'20: PROCEEDINGS OF THE18TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2020, : 68 - 80
- [4] Interactive Debugging of Datalog Programs [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
- [5] INTERACTIVE BLACKBOX DEBUGGING FOR CONCURRENT LANGUAGES [J]. SIGPLAN NOTICES, 1989, 24 (01): : 271 - 282
- [7] Abstract verification and debugging of constraint logic programs [J]. RECENT ADVANCES IN CONSTRAINTS, 2003, 2627 : 1 - 14
- [9] Visual debugging of data and operations for concurrent programs [J]. VISUAL DATA EXPLORATION AND ANALYSIS IV, 1997, 3017 : 120 - 128
- [10] DETERMINISTIC EXECUTION DEBUGGING OF CONCURRENT ADA PROGRAMS [J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 102 - 109