Quantitative analysis of skeleton-structured applicative programs.