A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.
Di WangJan HoffmannThomas W. RepsPublished in: MFPS (2019)
Keyphrases
- denotational semantics
- low level
- programming language
- high level
- operational semantics
- higher level
- bayesian networks
- query language
- probabilistic model
- spatio temporal
- general purpose
- object oriented
- situation calculus
- expressive power
- dynamic environments
- multi dimensional
- databases
- data model
- relational databases
- data mining