A Transformational Approach to Resource Analysis with Typed-norms Inference

Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin. A Transformational Approach to Resource Analysis with Typed-norms Inference. TPLP, 20(3):310-357, 2020. [doi]

Abstract

Abstract is missing.