Semantics of Probabilistic Programming: A Gentle Introduction

DOI10.1017/9781108770750.002OpenAlexW3158742505MaRDI QIDQ5150945

Dexter Kozen, Alexandra Silva, Fredrik Dahlqvist

Publication date: 16 February 2021

Published in: Foundations of Probabilistic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/9781108770750.002

zbMATH Keywords

computer sciencecomputational statisticsstatistics and probabilitymachine learning and information scienceprogramming languages and applied logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Continualization of Probabilistic Programs With Correction ⋮ Learning probabilistic termination proofs