Gradual Certified Programming in Coq.

Éric Tanter Nicolas Tabareau

Published in: CoRR (2015)

Keyphrases

programming language
formal methods
theorem prover
programming environment
databases
neural network
high level
object oriented programming
real time
data sets
real world
information systems
data structure
high level language