Refining the control structure of loops using static analysis

@inproceedings{Balakrishnan2009RefiningTC,
  title={Refining the control structure of loops using static analysis},
  author={Gogul Balakrishnan and Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta},
  booktitle={EMSOFT},
  year={2009}
}
We present a simple yet useful technique for refining the control structure of loops that occur in imperative programs. Loops containing complex control flow are common in synchronous embedded controllers derived from modeling languages such as Lustre, Esterel, and Simulink/Stateflow. Our approach uses a set of labels to distinguish different control paths inside a given loop. The iterations of the loop are abstracted as a finite state automaton over these labels. Subsequently, we use static… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…