This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, securit

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for infer

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su

Summary Practical Probabilistic Programming introduces the working programmer to probabilistic programming. In it, you'll learn how to use the PP paradigm to mo

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.