Symbolic semantics for probabilistic programs

DOI10.1007/978-3-031-43835-6_23MaRDI QIDQ6546469

Andrzej Wąsowski, Zachary J. Susag, Einar Broch Johnsen, Erik Voogd, Alexandra Silva

Publication date: 29 May 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic encryption
• Symbolic execution formally explained
• Borel kernels and their approximation, categorically
• Commutative Semantics for Probabilistic Programming
• Symbolic execution and program testing
• Semantics for probabilistic programming
• Foundations of Probabilistic Programming
• Measure transformer semantics for Bayesian machine learning

Related Items (1)

Denotational semantics for symbolic execution

This page was built for publication: Symbolic semantics for probabilistic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6546469)