Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.
Mingshuai ChenJoost-Pieter KatoenLutz KlinkenbergTobias WinklerPublished in: CAV (1) (2022)
Keyphrases
- computer programs
- functional programs
- program execution
- control program
- automatic programming
- programming environment
- prolog programs
- high level programming language
- functional language
- java programs
- bayesian networks
- computer chess
- symbolic execution
- power law
- spatial distribution
- high level programming
- control flow
- intermediate level
- probability distribution
- stable model semantics
- program slicing
- generative model
- basis functions
- neural network
- parametric family
- hardware designs
- recursive programs
- programming education
- program synthesis
- gaussian distribution
- application programs
- model checking
- object oriented
- magic sets
- conditional probabilities
- novice programmers
- uncertain data
- density function
- generation process
- probabilistic logic programs
- programming language constructs