506 citations · 656 across the 2 of their papers we have counts for
1 paper · 1 filter
Xavier Leroy
This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to Po…