C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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