Login / Signup

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.

Dag BjörklundJohan Lilius
Published in: ACSD (2004)
Keyphrases
  • multiple models
  • programming language
  • dynamic model
  • predictive control
  • data mining
  • operational semantics
  • formal language
  • machine learning
  • natural language
  • semi supervised learning