共 50 条
- [45] Optimizing compiler design for modularity and extensibility LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2003, 2624 : 1 - 17
- [46] OpenUH: an optimizing, portable OpenMP compiler CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (18): : 2317 - 2332
- [47] An optimizing compiler for efficient model checking FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 241 - 256
- [48] Experience with the super Monaco optimizing compiler JOURNAL OF LOGIC PROGRAMMING, 1996, 29 (1-3): : 141 - 169
- [49] Validating the translation of an industrial optimizing compiler AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 230 - 247