C Intermediate Language
From Wikipedia, the free encyclopedia
 |
The topic of this article may not meet Wikipedia's general notability guideline. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged, redirected, or deleted. (October 2011) |
 |
This article relies on references to primary sources or sources affiliated with the subject, rather than references from independent authors and third-party publications. Please add citations from reliable sources. (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 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.
[edit] 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. |
