Logical characterizations of heap abstractions.

Greta Yorsh Thomas W. Reps Mooly Sagiv Reinhard Wilhelm

Published in: ACM Trans. Comput. Log. (2007)

Keyphrases

data structure
high level
logical representation
trade off
logical framework
database
databases
decision trees
genetic algorithm
artificial intelligence
search engine
knowledge base
suffix tree
logical operations
data independence
acyclic database schemes