15 citations · 52 across the 35 of their papers we have counts for
1 paper · 2 filters
Liyun Dai, Bican Xia
A simple linear loop is a simple while loop with linear assignments and linear loop guards. If a simple linear loop has only two program variables, we give a complete algorithm for…