An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs

摘要

Optimizing programs by applying source-to-source transformations is a prevalent practice among programmers. Particularly so, while programming for high-performance and cost-effective embedded systems, where the initial program is subject to a series of tr