Data-driven synthesis of full probabilistic programs

DOI10.1007/978-3-319-63387-9_14zbMath1494.68052OpenAlexW2736213971MaRDI QIDQ2151257

Sarah Chasins, Phitchaya Mangpo Phothilimthana

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_14

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Continualization of Probabilistic Programs With Correction

This page was built for publication: Data-driven synthesis of full probabilistic programs