共 50 条
- [43] Visualization of data for the debugging of concurrent systems [J]. VISUAL DATA EXPLORATION AND ANALYSIS III, 1996, 2656 : 140 - 149
- [46] Using program visualization for tuning parallel-loop scheduling [J]. IEEE CONCURRENCY, 1997, 5 (01): : 26 - &
- [47] A formal semantics for program debugging [J]. Science China(Information Sciences), 2012, 55 (01) : 133 - 148
- [48] PROGRAM RELIABILITY DURING DEBUGGING [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1986, 12 (01) : 50 - 53
- [49] Visual steering for program debugging [J]. VISUAL DATA EXPLORATION AND ANALYSIS VII, 2000, 3960 : 106 - 113
- [50] A formal semantics for program debugging [J]. Science China Information Sciences, 2012, 55 : 133 - 148