VLISP

swMATH2672MaRDI QIDQ15211FDOQ15211

Author name not available (Why is that?)

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
• A verified runtime for a verified theorem prover
• GCminor
• Piton
• Certificate Translation for Optimizing Compilers

This page was built for software: VLISP