scholarly journals Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs

2016 ◽  
pp. 364-389 ◽  
Author(s):  
Benjamin Lucien Kaminski ◽  
Joost-Pieter Katoen ◽  
Christoph Matheja ◽  
Federico Olmedo
Keyword(s):  
Weakest Precondition ◽  
Probabilistic Programs

scholarly journals A modular cost analysis for probabilistic programs

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Martin Avanzini ◽  
Georg Moser ◽  
Michael Schaper
Keyword(s):  
Cost Analysis ◽  
Probabilistic Programs

Incremental inference for probabilistic programs

2018 ◽  
Vol 53 (4) ◽  
pp. 571-585 ◽  
Author(s):  
Marco Cusumano-Towner ◽  
Benjamin Bichsel ◽  
Timon Gehr ◽  
Martin Vechev ◽  
Vikash K. Mansinghka
Keyword(s):  
Probabilistic Programs

scholarly journals Symbolic conditioning of arrays in probabilistic programs

2017 ◽  
Vol 1 (ICFP) ◽  
pp. 1-25 ◽  
Author(s):  
Praveen Narayanan ◽  
Chung-chieh Shan
Keyword(s):  
Probabilistic Programs

Replication Package for Article: Quantitative Analysis of Assertion Violations in Probabilistic Programs

2021 ◽  
Author(s):  
Jinyi Wang ◽  
Yican Sun ◽  
Hongfei Fu ◽  
Krishnendu Chatterjee ◽  
Amir Kafshdar Goharshady
Keyword(s):  
Quantitative Analysis ◽  
Probabilistic Programs
Sign in / Sign up

Export Citation Format

Share Document