A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version).
Raúl PardoEinar Broch JohnsenIna SchaeferAndrzej WasowskiPublished in: CoRR (2022)
Keyphrases
- formal language
- dynamic logic
- operational semantics
- declarative semantics
- agent programming
- monadic second order logic
- specification language
- probabilistic logic
- expressive power
- probabilistic databases
- linear temporal logic
- control structures
- functional programs
- deductive databases
- asynchronous circuits
- probability theory
- concurrent programming
- computer programs
- programming language
- logic programming
- language constructs
- logic programming language
- provably correct
- programs written
- probabilistic knowledge
- proof theory
- formal specification
- control program
- probabilistic model
- transition systems
- high level
- programming environment
- object oriented languages
- formal languages
- fixed point
- query evaluation
- language learning
- query answering
- declarative programming
- uncertain data
- formal semantics
- intuitionistic logic
- predicate calculus
- active rules
- modal logic
- first order logic
- probabilistic logic programs
- functional language
- model theoretic
- modelling language
- predicate logic
- control flow
- fixpoint
- object oriented programming
- logic programs
- query language