il me semblait qu'il y avait aussi des normes pour les compilateurs eux-mêmes, a savoir qu'ils doivent être certifiés générer un code correct (c'est-à-dire qu'il n'y a aucune perte dans la traduction code=> langage machine). Mon prof avait dit a l'époque que seul un compilateur ADA avait été certifié, en raison de la complexité de la certification. C'est vrai que les compilateurs C/C++ ont parfois des bugs de génération de code. Est-ce toujours vrai?
Partager