3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Strassburger
A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of…