A Formalization of the C99 Standard in HOL, Isabelle and Coq.
Robbert KrebbersFreek WiedijkPublished in: Calculemus/MKM (2011)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- first order logic
- inference rules
- formal methods
- databases
- formal semantics
- higher order logic
- knowledge representation
- image sequences
- three dimensional
- decision trees
- multiresolution
- mobile robot
- evolutionary algorithm
- knowledge based systems
- natural language
- database systems
- image processing
- information retrieval
- data sets