Logo

The Design and Implementation of Probabilistic Programming Languages

Small book cover: The Design and Implementation of Probabilistic Programming Languages

The Design and Implementation of Probabilistic Programming Languages
by

Publisher: dippl.org
Number of pages: 215

Description:
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing and implementing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference, including priority-based enumeration with caching, particle filtering, and Markov chain Monte Carlo.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Denotational Semantics: A Methodology for Language DevelopmentDenotational Semantics: A Methodology for Language Development
by - Kansas State University
Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.
(15550 views)
Book cover: Lecture Notes on Static AnalysisLecture Notes on Static Analysis
by - IT University of Copenhagen
These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, control flow analysis, pointer analysis.
(10441 views)
Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(18822 views)
Book cover: Elements of ProgrammingElements of Programming
by - Semigroup Press
This book applies the deductive method to programming by affiliating programs with the abstract mathematical theories. Specification of these theories, algorithms and theorems and lemmas describing their properties are presented together.
(8678 views)