Jon Sneyers, Danny De Schreye
Probabilistic Termination of CHRiSM Programs
LOPSTR, 2011.
@inproceedings{LOPSTR-2011-SneyersS, author = "Jon Sneyers and Danny De Schreye", booktitle = "{Revised Selected Papers of the 21st International Symposium on Logic-Based Program Synthesis and Transformation}", doi = "10.1007/978-3-642-32211-2_15", isbn = "978-3-642-32210-5", pages = "221--236", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Probabilistic Termination of CHRiSM Programs}", volume = 7225, year = 2011, }