On Program Equivalence with Reductions
No abstract available.
Related papers
- A Uniform Reduction Equivalence for Process Calculi APLAS 2004
- Program Synthesis with Equivalence Reduction VMCAI 2019
- Bisimulations for Neural Network Reduction VMCAI 2022
- Data-centric dynamic partial order reduction POPL 2018
- FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability OOPSLA 2020
- Value-centric dynamic partial order reduction OOPSLA 2019
- Truly stateless, optimal dynamic partial order reduction POPL 2022
- Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting TACAS 2026