论文信息 - Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic: Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic - 字舞流文

Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic: Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic

Chen Zhao | Liang Guo | Qiuming Tao

[1] Naoki Kobayashi. Type-based useless variable elimination , 1999 .

[2] Carl Christian Frederiksen. Correctness of Classical Compiler Optimizations using CTL , 2002, COCV@ETAPS.

[3] Eric Van Wyk,et al. Compiler Optimization Correctness by Temporal Logic , 2004, High. Order Symb. Comput..