Implementing hash-consed structures in Coq

Thomas Braibant Jacques-Henri Jourdan David Monniaux

Published in: CoRR (2013)

Keyphrases

real world
formal methods
theorem prover
database
search algorithm
tree structures
image structure
efficient implementation
relational databases
information technology
feature space
learning environment
image segmentation
case study
decision trees
computer vision
neural network