Sign in

A consistent semantics of self-adjusting computation.

Umut A. AcarMatthias BlumeJacob 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