arXiv Open Access 2023

Symbolic Semantics for Probabilistic Programs (extended version)

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

Lihat Sumber

Abstrak

We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work, this symbolic semantics consists of a countable collection of measurable functions, along with a partition of the state space. We use the new semantics to provide a full correctness proof of symbolic execution for probabilistic programs. We also implement this semantics in the tool symProb, and illustrate its use on examples.

Topik & Kata Kunci

cs.PL

Penulis (5)

Erik Voogd

Einar Broch Johnsen

Alexandra Silva

Zachary J. Susag

Andrzej Wąsowski

Format Sitasi

APA MLA BibTeX

Voogd, E., Johnsen, E.B., Silva, A., Susag, Z.J., Wąsowski, A. (2023). Symbolic Semantics for Probabilistic Programs (extended version). https://arxiv.org/abs/2307.09951

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓