Effectivement, le premier compilo prouvé, et longtemps le seul, ça a été un compilo ADA (c'est plus simple, le langage est concu pour être plus robuste, et ADA était un langage poussé entre autre par les armées).
Mais là, peut être que je me plante, mais il me semble qu'il y a des compilos C prouvés maintenant (Le papier date d'il y a 14 ans, ça me semble pas impossible ;) )
[^] # Re: Esperons que la qualité suivra
Posté par thoasm . En réponse à la dépêche Sortie de la version 4.1 du compilateur GCC. Évalué à 2.
Mais là, peut être que je me plante, mais il me semble qu'il y a des compilos C prouvés maintenant (Le papier date d'il y a 14 ans, ça me semble pas impossible ;) )