Revision as of 16:53, 22 September 2009 edit 83.104.25.51 (talk) →External links ← Previous edit		Revision as of 23:55, 2 February 2010 edit undo Dcoetzee (talk \| contribs) 37,529 edits Link George Necula Next edit →
Line 5: 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. == External links ==

C Intermediate Language: Difference between revisions