Jump to content

C Intermediate Language

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Fderepas (talk | contribs) at 22:33, 10 May 2009. 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 CIL.

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).

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=289144440"