public marks

PUBLIC MARKS with tags compiler & del.icio.us

26 January 2006

20 January 2006

The Compcert certified compiler back-end

by GeorgesMariano
The 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

PUBLIC TAGS related to tag compiler

apache +   apache2 +   eaccelerator +   extension +   installer +   php +  

Active users

GeorgesMariano
last mark : 26/01/2006 17:32