A Consistent Semantics of Self-adjusting Computation.

Umut A. Acar Matthias Blume Jacob 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