Probabilistic Termination of CHRiSM Programs
From MaRDI portal
Publication:4909326
DOI10.1007/978-3-642-32211-2_15zbMath1377.68067OpenAlexW1522121558MaRDI QIDQ4909326
Publication date: 13 March 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/370411
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
On the Hardness of Almost–Sure Termination ⋮ Confluence and convergence modulo equivalence in probabilistically terminating reduction systems ⋮ On the hardness of analyzing probabilistic programs
This page was built for publication: Probabilistic Termination of CHRiSM Programs