Loop unrolling with non-constant bounds in FIRM
Published in N/A, 2019
Unrolling loops where bounds are unknown at compile time
Recommended citation: Adrian Lehmann (2019). "Loop unrolling with non-constant bounds in FIRM". KIT Bachelor Thesis. https://pp.info.uni-karlsruhe.de/uploads/publikationen/lehmann19bachelorarbeit.pdf