UTP Semantics of Reactive Processes with Continuations.

Gerard Ekembe Ngondi Jim 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