A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.

Di Wang Jan Hoffmann Thomas W. Reps

Published 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