scientific article; zbMATH DE number 6744938
From MaRDI portal
Publication:5275390
DOI10.4230/LIPIcs.FSTTCS.2015.475zbMath1366.68024MaRDI QIDQ5275390
Aditya V. Nori, Chung-Kil Hur, Selva Samuel, Sriram K. Rajamani
Publication date: 13 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilistic inferenceprobabilistic programmingprogram correctnessMarkov chain Monte Carlo sampling
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
Probabilistic Programming Language and its Incremental Evaluation ⋮ Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism ⋮ Densities of almost surely terminating probabilistic programs are differentiable almost everywhere ⋮ Bayesian strategies: probabilistic programs as generalised graphical models
This page was built for publication:
