A Generic Framework for Verified Compilers

MaRDI QIDQ7361691FDO

Authors Martin Desharnais-Schäfer

Publication date 10 February 2020

Cited in

(3)

• Inline Caching and Unboxing Optimization for Interpreters
• First Order Clause
• SCL Simulates Nonredundant Ground Resolution

This page was built for software: A Generic Framework for Verified Compilers