Normal view MARC view ISBD view

Foundations of probabilistic programming / [electronic resource] edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva - Cambridge : Cambridge University Press, 2021 - online resource

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

ISBN: 9781108770750

Subjects--Topical Terms:
COMPUTER PROGRAMMING
PROBABILITIES--DATA PROCESSING

LC Class. No.: QA 76.6 / F68 2021