Formalising the SECD machine with nominal Isabelle.

Published in: SAC (2015)

Keyphrases

theorem prover
information retrieval
genetic algorithm
databases
image segmentation
three dimensional
high level
face recognition
data structure
evolutionary algorithm
probability distribution
batch processing