Jump to content

C Intermediate Language

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by R'n'B (talk | contribs) at 20:43, 31 March 2011 (Disambiguated: MSIL → Common Intermediate Language). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
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.

Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=C_Intermediate_Language&oldid=421707544"