An Assertion-Based Program Logic for Probabilistic Programs.
Gilles BartheThomas EspitauMarco GaboardiBenjamin GrégoireJustin HsuPierre-Yves StrubPublished in: ESOP (2018)
Keyphrases
- computer programs
- declarative semantics
- recursive programs
- functional programs
- programs written
- automatic programming
- probabilistic logic
- program execution
- logic programs
- logic programming
- deductive databases
- control program
- probability theory
- computer chess
- symbolic execution
- programming environment
- dynamic logic
- program synthesis
- stable model semantics
- logical inference
- novice programmers
- uncertain data
- prolog programs
- declarative programming
- probabilistic model
- programming environments
- operational semantics
- high level programming language
- program slicing
- semantics of logic programs
- imperative programs
- bayesian networks
- intermediate level
- control flow
- multi valued
- static analysis
- java programs
- probabilistic knowledge
- application programs
- classical logic
- source code
- modal logic
- generative model
- operating system
- hardware designs
- knowledge base
- description logics
- set of test cases
- test cases
- concurrent programming
- answer sets
- agent programming
- fault localization