verified-compiler

There are 0 repository under verified-compiler topic.

sigurdschneider / lvc
LVC verified compiler
coq coq-formalization compiler compiler-design verified-compiler verification lvc lvc-compiler register-assignment register-allocation spilling constant-propagation ssa-construction
Language:Coq 56
querycert / qcert
Compilation and Verification of Data-Centric Languages
verification query-language query-engine functional-programming coq-proof-assistant sql compiler verified-compiler
Language:Coq 55