26 January 2006
20 January 2006
The Compcert certified compiler back-end
by GeorgesMarianoThe Compcert back-end is a compiler that generates PowerPC assembly code from a low-level intermediate language called Cminor and a slightly more expressive intermediate language called Csharpminor. The particularity of this compiler is that it is written
1
(2 marks)