CompCert (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "CompCert" in French language version.

Last modified: 08:22:31, 24 July 2025 (UTC)

Ref.Un. Ref.Website

Global rank French rank

380^th place

460^th place

low place

low place

2,766^th place

5,695^th place

6,372^nd place

1,075^th place

1,895^th place

174^th place

cnrs.fr (Global: 1,895^th place; French: 174^th place)

ins2i.cnrs.fr

« CompCert récompensé par l’ACM pour ses garanties d’absence de bugs », sur CNRS, 14 juin 2022 (consulté le 17 avril 2023)

compcert.org (Global: low place; French: low place)

« The CompCert ‍C language », sur compcert.org (consulté le 31 mars 2022)

github.com (Global: 380^th place; French: 460^th place)

« CompCert 3.17 », 13 février 2026 (consulté le 13 février 2026)

inria.fr (Global: 6,372^nd place; French: 1,075^th place)

compcert.inria.fr

« CompCert — Performance of the generated code », sur INRIA

utah.edu (Global: 2,766^th place; French: 5,695^th place)

cs.utah.edu

Xuejun Yang, Yang Chen, Eric Eide, John Regehr, « Finding and Understanding Bugs in C Compilers », University of Utah, School of Computing