Title: Formal Methods for Quantitative Aspects of Programming Languages