On Some Transformation Invariants Under Retiming and Resynthesis
No abstract available.
Related papers
- Transformation-Based Verification Using Generalized Retiming CAV 2001
- Learning the boundary of inductive invariants POPL 2021
- Compilation of Parallel Multimedia Computations - Extending Retiming Theory and Amdahl's Law PPoPP 1997
- Abstraction and invariance for algebraically indexed types POPL 2013
- Derivation of Invariant Assertions During Program Development by Transformation TOPLAS 1980
- Reasoning Algebraically About P-Solvable Loops TACAS 2008
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming TOPLAS 2025
- Playing in the grey area of proofs POPL 2012