细化E-图在原生的等价关系之外引入了内置的偏序关系，将编译器重写建模为从抽象规范到具体实现的单向细化过程。作者提供了Rust原型实现和WASM演示，并通过数字电路中的
背景
E-图是一种用于表示项等价类的强大数据结构，广泛应用于编译器优化和程序分析。该工作通过引入偏序关系扩展了E-图，以建模细化概念，与部分求值和语言语义相关。
- 来源
- Lobsters
- 发布时间
- 2026年10月5日 10:23
- 评分
- 6.0 / 10
细化E-图在原生的等价关系之外引入了内置的偏序关系，将编译器重写建模为从抽象规范到具体实现的单向细化过程。作者提供了Rust原型实现和WASM演示，并通过数字电路中的
E-图是一种用于表示项等价类的强大数据结构，广泛应用于编译器优化和程序分析。该工作通过引入偏序关系扩展了E-图，以建模细化概念，与部分求值和语言语义相关。