Probabilistic Denotational Semantics for an Interrupt Modelling Language.

Yanhong Huang Yongxin Zhao Shengchao Qin Jifeng He

Published in: ICECCS (2015)

Keyphrases

modelling language
denotational semantics
formal semantics
programming language
operational semantics
query language
learning scenarios
learning design
machine learning
multimedia
case study
defeasible logic