Logical Characterizations of Heap Abstractions

Greta Yorsh Thomas W. Reps Shmuel Sagiv Reinhard Wilhelm

Published in: CoRR (2003)

Keyphrases

data structure
data independence
high level
databases
artificial intelligence
logical properties
qualitative probabilistic networks
data sets
logical framework
logical structure
logical representation
acyclic database schemes