a public good project by the
Synthesis
Company
of California

© 2026

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations | doi.page

0 citations0 references

Google Scholar doi.org

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations

Lecture notes in computer science·2014·pp. 493–508

Citations Over TimeTop 10% of 2014 papers

Markus Schordan, Pei‐Hung Lin, Dan Quinlan, Louis-Noël Pouchet

Related Papers

→ Boosting Compiler Testing via Compiler Optimization Exploration(2022)26 cited
→ Optimization aspects of compiler-compilers(1970)3 cited
→ Effectiveness of an optimizing compiler for arithmetic expressions(1970)1 cited
→ Optimization aspects of compiler- compilers(1970)3 cited
→ Effectiveness of an optimizing compiler for arithmetic expressions(1970)