A Specification Logic for Programs in the Probabilistic Guarded Command Language.
Raúl PardoEinar Broch JohnsenIna SchaeferAndrzej WasowskiPublished in: ICTAC (2022)
Keyphrases
- formal language
- dynamic logic
- declarative semantics
- operational semantics
- agent programming
- specification language
- linear temporal logic
- probabilistic databases
- computer programs
- asynchronous circuits
- probabilistic knowledge
- control structures
- functional programs
- programming language
- probabilistic logic
- formal languages
- programs written
- logic programming
- intuitionistic logic
- logic programming language
- logic programs
- provably correct
- programming environment
- control program
- deductive databases
- probability theory
- predicate calculus
- language constructs
- proof theory
- object oriented languages
- bayesian networks
- horn clauses
- probabilistic model
- classical logic
- fixpoint
- natural language
- high level
- action language
- integrity constraints
- active rules
- constraint language
- uncertain data
- state machine
- concurrent programming
- recursive programs
- query answering
- monadic second order logic
- object oriented
- highly expressive
- declarative programming
- order sorted
- expressive power
- language learning
- modal logic
- formal specification
- formal semantics
- control flow
- model theoretic
- fixed point
- temporal logic
- answer set programming
- modal operators