|
#REDIRECT [[George Necula]]
<!-- Please do not remove or change this AfD message until the issue is settled -->
{{Article for deletion/dated|page=C Intermediate Language|timestamp=20130415150441|year=2013|month=April|day=15|substed=yes|help=off}}
<!-- For administrator use only: {{Old AfD multi|page=C Intermediate Language|date=15 April 2013|result='''keep'''}} -->
<!-- End of AfD message, feel free to edit beyond this point -->
{{notability|date=October 2011}}
{{primary sources|date=October 2011}}
:''This article is about the simplified subset of C. For the Common Intermediate Language (also known as MSIL), see [[Common Intermediate Language]].''
'''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 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.
== External links ==
*[http://cil.sourceforge.net/ CIL on SourceForge]
*[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
{{compu-lang-stub}}
[[Category:C programming language family]]
| 