Denotational Semantics for a Probabilistic Timed Shared-Variable Language.

Huibiao Zhu Jeff W. Sanders Jifeng He Shengchao Qin

Published in: UTP (2012)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
bayesian networks
object oriented
petri net
high level
general purpose
databases
probabilistic model
finite state machines
spatio temporal
database
multi dimensional
database design
language learning