Skip to main content Accessibility help
×
  1. Home
  2. Books
  3. Foundations of Probabilistic Programming
  • Cited by 36
      • Show more authors
      • Open Access
      You have access to this book
    • Select format
    • Publisher:
      Cambridge University Press
      Publication date:
      November 2020
      December 2020
      ISBN:
      9781108770750
      9781108488518
      DOI:
      https://doi.org/10.1017/9781108770750
      Creative Commons:
      Creative Common License - CC Creative Common License - BY
      This content is Open Access and distributed under the terms of the Creative Commons Attribution licence CC-BY 4.0.
      https://creativecommons.org/creativelicenses
      Dimensions:
      (250 x 178 mm)
      Weight & Pages:
      1.23kg, 582 Pages
      Dimensions:
      Weight & Pages:
      • Subjects:
      Computer Science, Computational Statistics, Machine Learning and Information Science, Statistics and Probability, Programming Languages and Applied Logic
    Open Access
    You have access to this book
    Selected: Digital
    View content
    Add to cart View cart Buy from Cambridge.org
    Subjects:
    Computer Science, Computational Statistics, Machine Learning and Information Science, Statistics and Probability, Programming Languages and Applied Logic
    Information

    Book description

    What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. 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, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.

    Reviews

    'In our data-rich world, probabilistic programming is what allows programmers to perform statistical inference in a principled way for use in automated decision making. This rapidly growing field, which has emerged at the intersection of machine learning, statistics and programming languages, has the potential to become the driving force behind AI. But probabilistic programs can be counterintuitive and difficult to understand. This edited volume gives a comprehensive overview of the foundations of probabilistic programming, clearly elucidating the basic principles of how to design and reason about probabilistic programs, while at the same time highlighting pertinent applications and existing languages. With its breadth of topic coverage, the book will serve as an important and timely reference for researchers and practitioners.'

    Marta Kwiatkowska - University of Oxford

    Refine List

    Actions for selected content:

    Select all | Deselect all
    • View selected items
    • Export citations
    • Download PDF (zip)
    • Save to Kindle
    • Save to Dropbox
    • Save to Google Drive

    Save Search

    You can save your searches here and later view and run them again in "My saved searches".

    Please provide a title, maximum of 40 characters.
    Cancel
    ×

    Contents

    Full book PDF
    Contents
    • Frontmatter
      pp i-iv
        • You have access
        • Open access
      • PDF
      • Export citation
    • Contents
      pp v-vi
        • You have access
        • Open access
      • PDF
      • Export citation
    • List of Contributors
      pp vii-x
        • You have access
        • Open access
      • PDF
      • Export citation
    • Preface
      pp xi-xiv
        • You have access
        • Open access
      • PDF
      • Export citation
    • 2 - Probabilistic Programs as Measures
      pp 43-74
        • You have access
        • Open access
      • PDF
      • Export citation
    • 4 - On Probabilistic λ-Calculi
      pp 121-144
        • You have access
        • Open access
      • PDF
      • Export citation
    • 5 - Probabilistic Couplings from Program Logics
      pp 145-184
        • You have access
        • Open access
      • PDF
      • Export citation
    • 9 - The Logical Essentials of Bayesian Reasoning
      pp 295-332
        • You have access
        • Open access
      • PDF
      • Export citation
    • 10 - Quantitative Equational Reasoning
      pp 333-360
        • You have access
        • Open access
      • PDF
      • Export citation
    • 15 - Programming Unreliable Hardware
      pp 533-568
        • You have access
        • Open access
      • PDF
      • Export citation

    Metrics

    Altmetric attention score

    Full text views

    Total number of HTML views: 0
    Total number of PDF views: 0 *
    Loading metrics...

    Book summary page views

    Total views: 0 *
    Loading metrics...

    * Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

    Usage data cannot currently be displayed.

    Accessibility standard: Unknown

    Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.