Static Correctness of Hierarchical Procedures.

Michael I. Schwartzbach

Published in: Theor. Comput. Sci. (1996)

Keyphrases

search algorithm
hierarchical structures
databases
real world
data mining
machine learning
search engine
social networks
objective function
multi agent
lower bound
relational databases
search space
coarse to fine
dynamic analysis