We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulation and probabilistic simulation.

翻译：我们研究统计概率编程语言模型所需满足的条件。论证表明，通过传统工具的组合——即开放互模拟与概率模拟——即可满足这些需求。