Probabilistic description of quantum programming languages