Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.
Mingshuai ChenJoost-Pieter KatoenLutz KlinkenbergTobias WinklerPublished in: CoRR (2022)
Keyphrases
- functional programs
- computer programs
- program execution
- prolog programs
- control program
- functional language
- control flow
- programming environment
- automatic programming
- computer chess
- symbolic execution
- java programs
- program slicing
- programming education
- application programs
- intermediate level
- probability distribution
- uncertain data
- logic programs
- declarative programming
- parametric family
- static analysis
- hardware designs
- bayesian networks
- stable model semantics
- novice programmers
- recursive programs
- generative model
- programs written
- data distribution
- high level programming
- imperative programs
- operating system
- random variables
- fixpoint
- conditional probabilities
- posterior probability
- program synthesis
- spatial distribution
- probability theory
- power law
- generation process
- probabilistic logic