Foundations of probabilistic programming

Abstract

It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains. The book treats the connection between probabilistic programs and mathematical logic, security.