Parametrizing Program Analysis

Lunjin Lu. Parametrizing Program Analysis. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 98-105, IEEE, 2014. [doi]

Abstract

Abstract is missing.