A consistent semantics of self-adjusting computation.

Umut A. Acar Matthias Blume Jacob Donham

Published in: J. Funct. Program. (2013)

Keyphrases

formal semantics
semantic representation
conceptual graphs
database
real time
information systems
evolutionary algorithm
data model
semantic information
conceptual model
consistency constraints