Probabilistic Termination of CHRiSM Programs
From MaRDI portal
Publication:4909326
DOI10.1007/978-3-642-32211-2_15zbMath1377.68067MaRDI 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
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems, On the hardness of analyzing probabilistic programs, On the Hardness of Almost–Sure Termination