Securely Compiling Verified F* Programs With IO.

Cezar-Constantin Andrici Catalin Hritcu Guido Martínez Exequiel Rivas Théo Winterhalter

Published in: CoRR (2023)

Keyphrases

highly efficient
computer programs
databases
programming environment
fixpoint
automatic programming
learning algorithm
computer vision
high level
digital libraries
expert systems
relational databases
control flow
provably correct