A Typed C11 Semantics for Interactive Theorem Proving.

Robbert Krebbers Freek Wiedijk

Published in: CPP (2015)

Keyphrases

interactive theorem proving
higher order
formal semantics
logic programming
domain knowledge
semantic representation
databases
information retrieval
genetic algorithm
learning algorithm
social networks
case study
similarity measure
data structure
pairwise
semantic relationships