abstract-interpretation

Eine formale Methode zum statischen Ableiten von Programmeigenschaften.
4
Antworten

Kurze Implementierungsbeispiele für abstrakte Interpretation

Ich mache einen Kurs über abstrakte Interpretation, aber ich habe keine Beispiele gesehen, wie die Theorie auf den tatsächlichen Code abbildet. Ich suche nach kurzen Codebeispielen, wo ich vorzugsweise nicht mit einem ganzen Compiler arbeiten...
28.05.2010, 11:24
2
Antworten

Was ist der Unterschied zwischen Datenflussanalyse und abstrakter Interpretation?

Was ist der Unterschied zwischen Datenflussanalyse und abstrakter Interpretation und werden sie für den gleichen Zweck verwendet? Was sind die Vor- und Nachteile dieser beiden zueinander?     
28.06.2013, 18:16