Revision as of 12:54, 19 December 2011 edit Rjwilmsi (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 933,673 edits m →External links: fix ISBN format (endash or 13:) using AWB (7867) ← Previous edit		Revision as of 20:09, 25 March 2012 edit undo 80.216.90.20 (talk) No edit summary Next edit →
Line 5: '''CIL''' (C Intermediate Language) is a simplified subset of the [[C programming language]], as well as a set of tools for transforming C programs into that language. Several other tools use CIL as a way to have access to a C [[abstract syntax tree]]. Some of ~~this~~these programs are [[Frama-c]] (Framework to analyze C programs) or [[Compcert]] (C compiler proven in [[coq]]). CIL was originally designed and implemented by [[George Necula]] et al. in 2002.

C Intermediate Language: Difference between revisions