共 50 条
- [42] Examining Win32 C++ compilers - Fundamental tools for Windows developers DR DOBBS JOURNAL, 1997, 22 (03): : 64 - +
- [47] SOUFFLE: On Synthesis of Program Analyzers COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II, 2016, 9780 : 422 - 430
- [49] Framework for dynamic program analyzers SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1993, 28 (10):