作者：李薛剑部分冗余删除编译器优化证明变换携带证明的代码
摘要：部分冗余删除优化是一个同时包含有公共子表达式删除和表达式提升的复杂优化，但是对基于部分冗余删除优化的证明变换研究，还停留在对一些简单情况的处理和讨论上．本文在实验室前期优化对证明调整的研究基础上，总结简单优化行为对证明变换的调整过程，通过将部分冗余删除优化细分为简单的PRE、复杂的PRE、复制代码的PRE、前瞻的PRE，给出了不仅是简单的优化调整证明方法，而是包含有基于复杂的部分冗余删除优化的证明变换的方法．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
