Email Record: Formal methods for quantitative aspects of programming languages :