An update calculus for expressing type-safe program updates.

Martin Erwig Deling Ren

Published in: Sci. Comput. Program. (2007)

Keyphrases

type checking
update operations
artificial intelligence
machine learning
view update
frequent updates
data mining
image sequences
multiple types
formal language
program execution