Sign in

Probabilistic Denotational Semantics for an Interrupt Modelling Language.

Yanhong HuangYongxin ZhaoShengchao QinJifeng 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