A general framework for static profiling of parametric resource usage

Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo. A general framework for static profiling of parametric resource usage. TPLP, 16(5-6):849-865, 2016. [doi]

Abstract

Abstract is missing.