VLISP

MaRDI QIDQ15211swMATHFDO

Official website http://en.wikipedia.org/wiki/VLISP

Cited in

(7)

• A formally verified compiler back-end
• Automatic validation of code-improving transformations on low-level program representations
• Biorthogonality, step-indexing and compiler correctness
• GCminor
• Piton
• A verified runtime for a verified theorem prover
• Certificate Translation for Optimizing Compilers

This page was built for software: VLISP