Export Citations
2 Results for: [Keyword: almost-sure termination] AND [Book/Issue: Vol 8, Issue ICFP]
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,766,563 records)|Limit your search to The ACM Full-Text Collection (759,377 records)
Showing 1 - 2of2 Results
Select All
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
- Alejandro Aguirre,
- Philipp G. Haselwarter,
- Markus de Medeiros,
- Kwing Hei Li,
- Simon Oddershede Gregersen,
- Joseph Tassarotti,
- Lars Birkedal
Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue ICFPArticle No.: 246, Pages 284–316https://doi.org/10.1145/3674635Probabilistic programs often trade accuracy for efficiency, and thus may, with a small probability, return an incorrect result. It is important to obtain precise bounds for the probability of these errors, but existing verification approaches have ...
Almost-Sure Termination by Guarded Refinement
Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue ICFPArticle No.: 243, Pages 203–233https://doi.org/10.1145/3674632Almost-sure termination is an important correctness property for probabilistic programs, and a number of program logics have been developed for establishing it. However, these logics have mostly been developed for first-order programs written in ...
