共 50 条
- [32] Tuning Compiler Optimizations for Simultaneous Multithreading International Journal of Parallel Programming, 1999, 27 : 477 - 503
- [33] GLOBAL OPTIMIZATIONS IN A PROLOG COMPILER FOR THE TOAM JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (04): : 275 - 294
- [35] A Framework for Formal Verification of Compiler Optimizations INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
- [36] A Study of Conflicting Pairs of Compiler Optimizations 2017 IEEE 11TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC 2017), 2017, : 52 - 58
- [37] Generating Compiler Optimizations from Proofs POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 389 - 402
- [38] Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 105 - 115
- [39] Visualization study in science education Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2015, 27 (09): : 1597 - 1604