A Verified Compiler for Probability Density Functions
From MaRDI portal
Publication:2802431
DOI10.1007/978-3-662-46669-8_4zbMath1335.68037arXiv1707.06901OpenAlexW3100000179MaRDI QIDQ2802431
Johannes Hölzl, Manuel Eberl, Tobias Nipkow
Publication date: 26 April 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1707.06901
Related Items
Program logic for higher-order probabilistic programs in Isabelle/HOL, A Formalized Hierarchy of Probabilistic System Types, Markov chains and Markov decision processes in Isabelle/HOL, Effect polymorphism in higher-order logic (proof pearl), Effect polymorphism in higher-order logic (proof pearl), Verified analysis of random binary tree structures, Density Compiler, Equational Reasoning with Applicative Functors
Uses Software
