Andere Kunden interessierten sich auch für
![Struktur und Interpretation von Computerprogrammen]( "Struktur und Interpretation von Computerprogrammen")
Struktur und Interpretation von Computerprogrammen33,99 €![Structure and Interpretation of Computer Programs]( "Structure and Interpretation of Computer Programs")
Structure and Interpretation of Computer Programs69,99 €![Types in Compilation]( "Types in Compilation")
Types in Compilation39,99 €![Proof in VDM: Case Studies]( "Proof in VDM: Case Studies")
Proof in VDM: Case Studies75,99 €![Acrobat Reader]( "Acrobat Reader")
Acrobat Reader34,00 €![Absturz (Informatik)]( "Absturz (Informatik)")
Absturz (Informatik)34,00 €![Abstrakte Basisklasse]( "Abstrakte Basisklasse")
Abstrakte Basisklasse34,00 €
High Quality Content by WIKIPEDIA articles! Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen über das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms abstrahiert und die Anweisungen Schritt für Schritt nachvollzieht (Interpretation). Bei der abstrakten Interpretation konzentriert man sich auf Teilaspekte der Ausführung der Anweisungen, man lässt einiges an Information geschickt weg (Abstraktion), erhält letztlich eine Näherung an die Programmsemantik, die aber für den gewünschten Zweck vollkommen ausreichen kann.