CompCert
E1536608
UNEXPLORED
CompCert is a formally verified optimizing C compiler designed to provide mathematically proven correctness guarantees for safety- and mission-critical software.
All labels observed (2)
| Label | Occurrences |
|---|---|
| CompCert canonical | 1 |
| CompCert verified C compiler | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T22446419 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: CompCert Context triple: [Xavier Leroy, developed, CompCert]
-
A.
Cyert
Cyert is a surname most notably associated with Richard M. Cyert, an influential American economist and former president of Carnegie Mellon University.
-
B.
JProof
JProof is a music producer known for his work on Usher’s album "Hard II Love."
-
C.
Certified
"Certified" is a studio album by American rapper and producer David Banner that showcases his Southern hip hop style and socially conscious themes.
-
D.
Compans
Compans is a small French commune located in the Seine-et-Marne department in the Île-de-France region, northeast of Paris.
-
E.
Com
Com is a small coastal village in eastern Timor-Leste known for its beaches, fishing community, and growing eco-tourism.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: CompCert Target entity description: CompCert is a formally verified optimizing C compiler designed to provide mathematically proven correctness guarantees for safety- and mission-critical software.
-
A.
Cyert
Cyert is a surname most notably associated with Richard M. Cyert, an influential American economist and former president of Carnegie Mellon University.
-
B.
JProof
JProof is a music producer known for his work on Usher’s album "Hard II Love."
-
C.
Certified
"Certified" is a studio album by American rapper and producer David Banner that showcases his Southern hip hop style and socially conscious themes.
-
D.
Compans
Compans is a small French commune located in the Seine-et-Marne department in the Île-de-France region, northeast of Paris.
-
E.
Com
Com is a small coastal village in eastern Timor-Leste known for its beaches, fishing community, and growing eco-tourism.
- F. None of above. chosen
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: CompCert