A Probabilistic Theory of Designs Based on Distributions

DOI10.1007/978-3-642-35705-3_5zbMath1452.68047OpenAlexW2172180490MaRDI QIDQ3455646

Andrew Butterfield, Riccardo Bresciani

Publication date: 11 December 2015

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10344/2588

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)

Denotational semantics and its algebraic derivation for an event-driven system-level language

Cites Work

• Unnamed Item
• Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings
• Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers.
• Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8--10, 2008. Revised selected papers
• Predicative programming Part I

This page was built for publication: A Probabilistic Theory of Designs Based on Distributions