共 50 条
- [41] A formal semantics for program debugging Science China Information Sciences, 2012, 55 : 133 - 148
- [46] A knowledge base for program debugging ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 321 - 327
- [47] Synchronization Debugging of Hybrid Parallel Programs EURO-PAR 2016: PARALLEL PROCESSING, 2016, 9833 : 37 - 50
- [48] VISUAL PROGRAMMING AND DEBUGGING FOR PARALLEL COMPUTING IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1995, 3 (01): : 75 - 83
- [49] Reversible Imperative Parallel Programs and Debugging REVERSIBLE COMPUTATION (RC 2019), 2019, 11497 : 108 - 127
- [50] Keynote: Assertion Based Parallel Debugging ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT I: ICA3PP 2011, 2011, 7916 : 1 - 1