M. Kirkeby, Mads Rosendahl. Probabilistic Resource Analysis by Program Transformation. Proc. of the Foundational and Practical Aspects of Resource Analysis, LNCS, Springer, 2015. To appear.
M. Kirkeby, Mads Rosendahl. Probabilistic Resource Analysis by Program Transformation. Proc. of the Foundational and Practical Aspects of Resource Analysis, LNCS, Springer, 2015. To appear.