Constructive Development of Probabilistic Programs

DOI10.1007/978-3-642-29320-7_6zbMath1353.68051OpenAlexW1443952919MaRDI QIDQ2894554

Mohammad Mahdi Javanmard, Hassan Haghighi

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_6

zbMATH Keywords

type theoryformal program developmentCZ set theoryfunctional probabilistic programprobabilistic specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Constructive Development of Probabilistic Programs