From Proposition to Program - Embedding the Refinement Calculus in Coq.

Wouter Swierstra João Alpuim

Published in: FLOPS (2016)

Keyphrases

computer programs
programming environment
program execution
database
information retrieval
case study
vector space
static analysis
formal methods