Diskussion:Abstrakte Interpretation

So, ich habe einfach mal mit diesem Artikel angefangen, als einen von vier Subartikeln zur Programmanalyse.

Umgangssprachlich müsste die Idee jetzt halbwegs richtig wiedergegeben worden sein, falls nicht, seid ihr eingeladen es besser zu machen! :-)

Wenn ich Zeit und meinen Flemming wieder habe, sollte ich auch eine mathematisch präzise Definition angeben.