Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.
Michikazu HirataYasuhiko MinamideTetsuya SatoPublished in: FLOPS (2022)
Keyphrases
- higher order
- higher order logic
- natural deduction
- theorem prover
- computer programs
- automatic programming
- theorem proving
- program execution
- inference rules
- control program
- cut elimination
- recursive programs
- declarative semantics
- high level programming language
- programming environment
- logical inference
- probabilistic logic
- high order
- prolog programs
- functional programs
- stable model semantics
- program slicing
- probability theory
- sequent calculus
- programming environments
- logic programs
- logic programming
- uncertain data
- java programs
- declarative programming
- programs written
- symbolic execution
- program synthesis
- bayesian networks
- computer chess
- control flow
- deductive databases
- linear logic
- novice programmers
- application programs
- markov random field
- probabilistic model
- intermediate level
- hardware designs
- predicate calculus
- stable models
- first order logic
- program code
- conditional logic
- programming education
- lambda calculus
- conditional probabilities
- pairwise
- logical framework
- probabilistic reasoning
- modal logic
- generative model
- undergraduate engineering