Au passage, si ça intéresse, y a toute une page là-dessus pour ce qui est de la "pub" et une page plus technique chez Adacore.
On parle bien sûr de certification pour des domaines donnés comme l'aéronautique et pas de compilateur certifié.
En dehors de CompCert, point de salut en ce concerne le certifié sans bug :)
[^] # Re: Pffff
Posté par Blackknight (site web personnel, Mastodon) . En réponse à la dépêche Rust a 5 ans, rétrospective. Évalué à 3.
Au passage, si ça intéresse, y a toute une page là-dessus pour ce qui est de la "pub" et une page plus technique chez Adacore.
On parle bien sûr de certification pour des domaines donnés comme l'aéronautique et pas de compilateur certifié.
En dehors de CompCert, point de salut en ce concerne le certifié sans bug :)