TY  - DATA
AU  - Barthe,Gilles
AU  - Katoen,Joost-Pieter
AU  - Silva,Alexandra
TI  - Foundations of probabilistic programming
SN  - 9781108770750
AV  - QA 76.6 F68 2021
PY  - 2021///
CY  - Cambridge
PB  - Cambridge University Press
KW  - COMPUTER PROGRAMMING
KW  - PROBABILITIES
KW  - DATA PROCESSING
N1  - Semantics of Probabilistic Programming : A Gentle Introduction -- Semantics of Probabilistic Programming: A Gentle Introduction -- Expected Runtime Analyis by Program Verification --  Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities -- Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy -- Luck: A Probabilistic Language for Testing -- Programming Unreliable Hardware
UR  - https://doi.org/10.1017/9781108770750
ER  -