Automating Derivation of Incremental Programs.

Yuchen Zhang Yanhong A. Liu

Published in: ICFP (1998)

Keyphrases

incremental learning
data driven
incremental version
computer programs
control structures
data sets
databases
machine learning
web pages
expert systems
software engineering
knowledge acquisition
programming environment
fixpoint
efficient incremental
incremental clustering