| 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
| |
| dbo:wikiPageLength
|
- 4590 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| 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
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
| |
| 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
| |
| 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 | |
