2
Warum ist der kleinste Fixpunkt (lfp) in der Programmanalyse wichtig?
Ich versuche, ein Gesamtbild über die Bedeutung des kleinsten Fixpunkts (lfp) in der Programmanalyse zu erhalten. Zum Beispiel scheint die abstrakte Interpretation die Existenz von lfp zu nutzen. Viele Forschungsarbeiten zur Programmanalyse konzentrieren sich auch stark darauf, den am wenigsten festgelegten Punkt zu finden. In diesem Artikel in Wikipedia: Knaster-Tarski …