1 paper
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky +2
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage speci…