An Assertion-Based Program Logic for Probabilistic Programs.
Gilles BartheThomas EspitauMarco GaboardiBenjamin GrégoireJustin HsuPierre-Yves StrubPublished in: CoRR (2018)
Keyphrases
- declarative semantics
- computer programs
- recursive programs
- functional programs
- logic programming
- program execution
- programs written
- deductive databases
- program synthesis
- logic programs
- probability theory
- probabilistic logic
- programming environment
- control program
- prolog programs
- automatic programming
- high level programming language
- operational semantics
- java programs
- symbolic execution
- novice programmers
- declarative programming
- probabilistic model
- semantics of logic programs
- bayesian networks
- probabilistic knowledge
- logical inference
- hardware designs
- concurrent programming
- dynamic logic
- program slicing
- operating system
- uncertain data
- programming environments
- answer sets
- computer chess
- set of test cases
- programming language
- imperative programs
- intermediate level
- high level programming
- program code
- programming education
- logical representation
- probabilistic reasoning
- modal logic
- classical logic
- undergraduate engineering
- probabilistic logic programs