C Intermediate Language (CIL) est un langage intermédiaire, sous-ensemble simplifié du langage de programmation C. C'est également un ensemble d'outils libres publiés sous licence BSD pour: * analyser et transformer ce langage intermédiaire * transformer des programmes écrits en C de et vers ce langage. CIL est utilisé par CCured, un compilateur qui compile un programme écrit en C en un code offrant un typage sûr en analysant l'utilisation des pointeurs et en insérant des vérifications à l'exécution là où le typage ne peut pas être déterminé statiquement.

Property Value
dbo:abstract
  • C Intermediate Language (CIL) est un langage intermédiaire, sous-ensemble simplifié du langage de programmation C. C'est également un ensemble d'outils libres publiés sous licence BSD pour: * analyser et transformer ce langage intermédiaire * transformer des programmes écrits en C de et vers ce langage. CIL est utilisé par CCured, un compilateur qui compile un programme écrit en C en un code offrant un typage sûr en analysant l'utilisation des pointeurs et en insérant des vérifications à l'exécution là où le typage ne peut pas être déterminé statiquement. (fr)
  • C Intermediate Language (CIL) est un langage intermédiaire, sous-ensemble simplifié du langage de programmation C. C'est également un ensemble d'outils libres publiés sous licence BSD pour: * analyser et transformer ce langage intermédiaire * transformer des programmes écrits en C de et vers ce langage. CIL est utilisé par CCured, un compilateur qui compile un programme écrit en C en un code offrant un typage sûr en analysant l'utilisation des pointeurs et en insérant des vérifications à l'exécution là où le typage ne peut pas être déterminé statiquement. (fr)
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2093132 (xsd:integer)
dbo:wikiPageLength
  • 980 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90343123 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • C Intermediate Language (CIL) est un langage intermédiaire, sous-ensemble simplifié du langage de programmation C. C'est également un ensemble d'outils libres publiés sous licence BSD pour: * analyser et transformer ce langage intermédiaire * transformer des programmes écrits en C de et vers ce langage. CIL est utilisé par CCured, un compilateur qui compile un programme écrit en C en un code offrant un typage sûr en analysant l'utilisation des pointeurs et en insérant des vérifications à l'exécution là où le typage ne peut pas être déterminé statiquement. (fr)
  • C Intermediate Language (CIL) est un langage intermédiaire, sous-ensemble simplifié du langage de programmation C. C'est également un ensemble d'outils libres publiés sous licence BSD pour: * analyser et transformer ce langage intermédiaire * transformer des programmes écrits en C de et vers ce langage. CIL est utilisé par CCured, un compilateur qui compile un programme écrit en C en un code offrant un typage sûr en analysant l'utilisation des pointeurs et en insérant des vérifications à l'exécution là où le typage ne peut pas être déterminé statiquement. (fr)
rdfs:label
  • C Intermediate Language (fr)
  • C Intermediate Language (en)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of