Interprétation Abstraite
{"Image DocumentName": "Interpr\u00e9tation Abstraite", "Image ImageDescription": "W447. Interpr\u00e9tation Abstraite. L\u2019interpr\u00e9tation abstraite est une technique pour calculer des propri\u00e9t\u00e9s d\u2019un programme. En principe ces propri\u00e9t\u00e9s se d\u00e9duisent de la s\u00e9mantique du programme, mais celle-ci est trop co\u00fbteuse \u00e0 calculer. On ne calcule donc que les propri\u00e9t\u00e9s qui nous int\u00e9ressent; Le plus souvent ceci am\u00e8ne \u00e0 faire des approximations. La s\u00e9mantique sert \u00e0 trouver et prouver ces approximations.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}