Position paper: Meaningful updates to executing programs.

Pierre Duquesne Ciarán Bryce

Published in: ASE Workshops (2008)

Keyphrases

database transactions
higher level
artificial intelligence
future directions
databases
computer vision
case study
multiscale
distributed systems
answer sets
fixpoint
semantically meaningful
control structures