Refining the control structure of loops using static analysis

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Scopus citations

Fingerprint

Dive into the research topics of 'Refining the control structure of loops using static analysis'. Together they form a unique fingerprint.

Keyphrases

Computer Science