共 50 条
- [1] Value-based partial redundancy elimination [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2004, 2985 : 167 - 184
- [2] Partial redundancy elimination is not bidirectional [J]. ACM SIGPLAN NOTICES, 1999, 34 (06) : 43 - 46
- [4] Partial redundancy elimination in SSA form [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (03): : 627 - 676
- [5] Partial redundancy elimination with predication techniques [J]. EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, 2003, 2790 : 242 - 250
- [7] Proof Optimization for Partial Redundancy Elimination [J]. PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 91 - +
- [8] Proof optimization for partial redundancy elimination [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (07): : 619 - 642
- [10] A practical adoption of partial redundancy elimination [J]. ACM SIGPLAN NOTICES, 2004, 39 (08) : 49 - 53