Gradual certified programming in Coq.

Éric Tanter Nicolas Tabareau

Published in: DLS (2015)

Keyphrases

programming language
development environment
real time
formal methods
database
website
computer programming
technical support
multimedia
high level
object oriented programming
programming environments