Verified programs with binders.

Martin Clochard Claude Marché Andrei Paskevich

Published in: PLPV (2014)

Keyphrases

databases
e learning
website
computer programs
database
real time
machine learning
metadata
case study
fixpoint
program execution
control structures
free software