[go: up one dir, main page]

CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l'Université de Bologne, l'Université Paris Diderot et de l'Université d'Édimbourg dans le cadre du septième programme-cadre européen (FP7).

Property Value
dbo:abstract
  • CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l'Université de Bologne, l'Université Paris Diderot et de l'Université d'Édimbourg dans le cadre du septième programme-cadre européen (FP7). (fr)
  • CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l'Université de Bologne, l'Université Paris Diderot et de l'Université d'Édimbourg dans le cadre du septième programme-cadre européen (FP7). (fr)
dbo:operatingSystem
dbo:programmingLanguage
dbo:publisher
dbo:type
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 6817431 (xsd:integer)
dbo:wikiPageLength
  • 4590 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 182908736 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2011 (xsd:integer)
prop-fr:auteur
  • A. Madet (fr)
  • R. Amadio (fr)
  • R. Amadio, Y. Régis-Gianas (fr)
  • A. Madet (fr)
  • R. Amadio (fr)
  • R. Amadio, Y. Régis-Gianas (fr)
prop-fr:développeur
prop-fr:environnement
prop-fr:langageDeProgrammation
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • CerCo (fr)
  • CerCo (fr)
prop-fr:pagesTotales
  • 34 (xsd:integer)
  • 42 (xsd:integer)
prop-fr:siteWeb
prop-fr:titre
  • An Elementary affine λ-calculus with multithreading and side effects (fr)
  • Certifying and reasoning on cost annotations of functional programs (fr)
  • An Elementary affine λ-calculus with multithreading and side effects (fr)
  • Certifying and reasoning on cost annotations of functional programs (fr)
prop-fr:type
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Preuves, Programmes et Systèmes, Université Paris Diderot (fr)
  • Preuves, Programmes et Systèmes, Université Paris Diderot - PI.R2, INRIA Paris Rocquencourt (fr)
  • Preuves, Programmes et Systèmes, Université Paris Diderot (fr)
  • Preuves, Programmes et Systèmes, Université Paris Diderot - PI.R2, INRIA Paris Rocquencourt (fr)
dct:subject
rdf:type
rdfs:comment
  • CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l'Université de Bologne, l'Université Paris Diderot et de l'Université d'Édimbourg dans le cadre du septième programme-cadre européen (FP7). (fr)
  • CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l'Université de Bologne, l'Université Paris Diderot et de l'Université d'Édimbourg dans le cadre du septième programme-cadre européen (FP7). (fr)
rdfs:label
  • CerCo (fr)
  • CerCo (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • (fr)
  • CerCo (fr)
  • (fr)
  • CerCo (fr)
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of