Deriving Probability Density Functions from Probabilistic Functional Programs

DOI10.1007/978-3-642-36742-7_35zbMath1381.68030arXiv1704.00917OpenAlexW184493040MaRDI QIDQ5326349

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1704.00917

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (1)

Continualization of Probabilistic Programs With Correction

Uses Software

• Filzbach

This page was built for publication: Deriving Probability Density Functions from Probabilistic Functional Programs