High Quality Content by WIKIPEDIA articles! Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen uber das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms abstrahiert und die Anweisungen Schritt fur Schritt nachvollzieht (Interpretation). Bei der abstrakten Interpretation konzentriert man sich auf Teilaspekte der Ausfuhrung der Anweisungen, man lasst einiges an Information geschickt weg (Abstraktion), erhalt letztlich eine Naherung an die Programmsemantik, die aber fur den gewunschten Zweck vollkommen ausreichen kann.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.