Heap Assumptions on Demand.

Andreas Podelski Andrey Rybalchenko Thomas Wies

Published in: CAV (2008)

Keyphrases

data structure
website
data streams
control system
simplifying assumptions
information retrieval
artificial intelligence
information systems
image processing
multiscale
cooperative
image retrieval
multiresolution
suffix tree