Biorthogonality, step-indexing and compiler correctness.

Nick Benton Chung-Kil Hur

Published in: ICFP (2009)

Keyphrases

information retrieval
post processing
general purpose
database
image retrieval
image analysis
programming language
source code
real time
text retrieval
multimedia databases
multi step
indexing method