Foundational Certified Code in a Metalogical Framework.

Karl Crary Susmit Sarkar

Published in: CADE (2003)

Keyphrases

main contribution
framework enables
digital libraries
image retrieval
relational databases
multiresolution
image registration
software engineering
lightweight