Probabilistic programming
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani · 2014
Probabilistic programs are usual functional or imperative programs with two added constructs: (1) the ability to draw values at random from distributions, and (2) the ability to condition values of variables in a program via observations. Models from diverse application areas such as computer vision, coding theory, cryptographic protocols, biology and reliability analysis can be written as probabilistic programs.