VLISP

swMATH2672MaRDI QIDQ15211FDOQ15211

Author name not available (Why is that?)

Cited In (5)

• A formally verified compiler back-end
• Automatic validation of code-improving transformations on low-level program representations
• Biorthogonality, step-indexing and compiler correctness
• Certificate Translation for Optimizing Compilers
• A Verified Runtime for a Verified Theorem Prover

This page was built for software: VLISP