Program Calculation in Coq.

Julien Tesson Hideki Hashimoto Zhenjiang Hu Frédéric Loulergue Masato Takeichi

Published in: AMAST (2010)

Keyphrases

computer programs
formal methods
search engine
social networks
knowledge base
three dimensional
face recognition
multi agent systems
digital libraries
data model
test cases
program execution
control program