Probabilistic programming

Authors: Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani - IEEE/ACM International Conference on Software Engineering, ICSE 2014 cited by 361

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.