A general framework for static profiling of parametric resource usage | Publicación