Il existe un compilateur C qui est garanti "quasiment sans bug" ... Malheureusement, ce n'est pas du logiciel libre
Dès que j'ai lu cela et je me suis dis de suite, ça c'est un truc de l'INRIA. Gagné !
Je ne sais pas quand l'INRIA va comprendre que son modèle ne marche pas toujours ? Enfin, le code source est sur github, je vois que les choses bougent ;-)
[^] # Re: Compilateur sans bugs
Posté par Sytoka Modon (site web personnel) . En réponse à la dépêche OpenBSD 5.7 « Blues Brothers ». Évalué à 2.
Dès que j'ai lu cela et je me suis dis de suite, ça c'est un truc de l'INRIA. Gagné !
Je ne sais pas quand l'INRIA va comprendre que son modèle ne marche pas toujours ? Enfin, le code source est sur github, je vois que les choses bougent ;-)