Automatically proving the correctness of compiler optimizations.

Sorin Lerner Todd D. Millstein Craig Chambers

Published in: PLDI (2003)

Keyphrases

programming language
computer vision
information systems
three dimensional
automatically generated
feature selection
image processing
case study
video sequences
search algorithm
general purpose