A Verified Compiler for Probability Density Functions.

Authors :: Eberl, Manuel
Hölzl, Johannes
Nipkow, Tobias
Source :: Programming Languages & Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p80-104, 25p
Publication Year :: 2015

Language :: English
ISBNs :: 9783662466681
Database :: Complementary Index
Journal :: Programming Languages & Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Publication Type :: Book
Accession number :: 102868357
Full Text :: https://doi.org/10.1007/978-3-662-46669-8_4