Program Analysis Too Loopy? Set the Loops Aside

Eric Larson. Program Analysis Too Loopy? Set the Loops Aside. In 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011. pages 15-24, IEEE, 2011. [doi]

Abstract

Abstract is missing.