Revision as of 17:05, 12 April 2010 edit Yobot (talk \| contribs) Bots 4,733,870 edits m Auto-tagging, removed orphan tag using AWB ← Previous edit		Revision as of 20:39, 10 May 2010 edit undo Boulme (talk \| contribs) 90 edits mNo edit summary Next edit →
Line 3: '''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 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