Sign in

UTP Semantics of Reactive Processes with Continuations.

Gerard Ekembe NgondiJim Woodcock
Published in: UTP (2016)
Keyphrases
  • formal semantics
  • logic programming
  • semantic information
  • dynamic aspects
  • machine learning
  • genetic algorithm
  • high level
  • object oriented
  • schema mappings
  • conceptual graphs