Isabelle logo

Manuel Eberl

Chair for Logic and Verification

A Ver­i­fied Com­piler for Prob­a­bil­ity Den­sity Func­tions

by Manuel Eberl, Johannes Hölzl, and Tobias Nipkow

In: Pro­ceed­ings of the 2015 Eu­ro­pean Sym­po­sium on Pro­gram­ming

DOI:

10.1007/978-3-662-46669-8_4

Download preprint PDF (390 KiB)

BibTeX:

@inproceedings{eberl15esop,
author="Eberl, Manuel and H{\"o}lzl, Johannes and Nipkow, Tobias",
editor="Vitek, Jan",
title="A Verified Compiler for Probability Density Functions",
booktitle="Programming Languages and Systems (ESOP 2015)",
series="Lecture Notes in Computer Science",
volume="9032",
year="2015",
publisher="Springer",
address="Berlin, Heidelberg",
pages="80--104",
doi="10.1007/978-3-662-46669-8_4",
isbn="978-3-662-46669-8"
}

Download BibTeX (442 Bytes)

(The final publication is available at link.springer.com)