Sign in

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.

Feng ShengHuibiao ZhuJifeng HeZongyuan YangJonathan P. Bowen
Published in: Formal Aspects Comput. (2020)
Keyphrases
  • denotational semantics
  • theoretical underpinnings
  • machine learning
  • data structure
  • relational databases