A Generic Framework for Verified Compilers.

Martin Desharnais

Published in: Arch. Formal Proofs (2020)

Keyphrases

programming language
hardware and software
computer architecture
general purpose
computer systems
database
image processing
multimedia
computer science
digital libraries
lower bound