A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.
Klaus KeimelA. RosenbuschThomas StreicherPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- strongly typed
- linear programming
- intended meaning
- conceptual graphs
- specification language
- probabilistic model
- programming language
- database query languages
- operational semantics
- model theoretic
- definition language
- denotational semantics
- natural language
- dynamic logic
- type checking
- probabilistic knowledge
- formal language
- conditional logic
- initial state
- formal semantics
- default reasoning
- generative model
- aggregate functions
- object oriented