Probabilistic Termination: Soundness, Completeness, and Compositionality
| Title | Probabilistic Termination: Soundness, Completeness, and Compositionality |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Ferrer Fioriti, LM, Hermanns, H |
| Conference Name | Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015 |
| URL | http://doi.acm.org/10.1145/2676726.2677001 |
| DOI | 10.1145/2676726.2677001 |
Work Package:
WP1
