C Intermediate Language
 | This article was nominated for deletion. The discussion was closed on 29 April 2013 with a consensus to merge the content into the article C (programming language)#Uses. If you find that such action has not been taken promptly, please consider assisting in the merger instead of re-nominating the article for deletion. To discuss the merger, please use the destination article's talk page. (April 2013) |
 |
- 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
- CIL on SourceForge
- 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
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |