Sign in

A Denotational Semantical Model for Orc Language.

Qin LiHuibiao ZhuJifeng He
Published in: ICTAC (2010)
Keyphrases
  • mathematical model
  • formal model
  • specification language
  • data sets
  • probabilistic model
  • management system
  • computational model
  • hidden markov models
  • programming language
  • finite state automaton