Update-Programs Can Update Programs.

José Júlio Alferes Luís Moniz Pereira

Published in: NMELP (1996)

Keyphrases

computer programs
database
update rules
real world
information retrieval
artificial intelligence
knowledge base
decision trees
case study
multiscale
digital libraries
intermediate level
automatic programming
provably correct