Probabilistic Programming Language: A specialised language that integrates probability theory into its syntax and semantics, allowing for the concise specification of complex statistical models ...

The CSAIL project therefore also introduces SIREN, a new prototype probabilistic programming language (PPL) that allows program developers to use annotations to specify which plans they want to ...