Revision as of 12:26, 14 February 2009 edit Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Adding Orphan Tag (Report Errors) ← Previous edit		Revision as of 22:33, 10 May 2009 edit undo Fderepas (talk \| contribs) 105 edits No 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]]). == External links ==

C Intermediate Language: Difference between revisions