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

PropertyValue
dbpprop:abstract
  • 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).
  • C Intermediate Language (CIL) est une forme simplifiée du langage de programmation C, et aussi un ensemble d'outils pour transformer des programmes écrits en C en ce langage.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • 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).
  • C Intermediate Language (CIL) est une forme simplifiée du langage de programmation C, et aussi un ensemble d'outils pour transformer des programmes écrits en C en ce langage.
rdfs:label
  • C Intermediate Language
  • C Intermediate Language
owl:sameAs
skos:subject
foaf:page