Sign in

A Consistent Semantics of Self-adjusting Computation.

Umut A. AcarMatthias BlumeJacob Donham
Published in: ESOP (2007)
Keyphrases
  • formal semantics
  • logic programming
  • databases
  • parallel computation
  • operational semantics
  • genetic algorithm
  • information systems
  • website
  • image sequences
  • multi agent systems
  • proof theory