M Witterauf,
J Teich - … on Formal Methods and Models for …, 2018 - ieeexplore.ieee.org
Loop bounds are often unknown until run time, making it difficult to analyze non-functional
properties such as latency at compile-time. Similarly, static allocations of processing …