Comment prouver que votre code ne contient aucune erreur d'exécution (et pourquoi vous finirez probablement par abandonner)
L'interprétation abstraite permet de prouver l'impossibilité des erreurs d'exécution avant même l'exécution. Voici comment cela fonctionne réellement, pourquoi c'est difficile, et où cela s'inscrit dans votre chaîne d'outils.
Votre suite de tests passe. Votre vérificateur de types est vert. Vous livrez. Deux heures plus tard, la production génère une sur un cas limite auquel…