:''This article is about the simplified subset of C. For the Common Intermediate Language (also known as MSIL), see [[MSIL|CIL]].''
{{Redirect category shell|1=
'''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.
{{R from subtopic}}
{{R to section}}
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 ==
*[http://manju.cs.berkeley.edu/cil/ CIL project at Berkeley]
*[http://portal.acm.org/citation.cfm?id=727796 CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs] Lecture Notes In Computer Science; Vol. 2304 Proceedings of the 11th International Conference on Compiler Construction Pages: 213 - 228. Year of Publication: 2002. ISBN:3-540-43369-4
