Polyvarianz - Polyvariance

In der Programmanalyse wird eine Analyse als polyvariant bezeichnet, wenn Funktionen mehrmals analysiert werden – normalerweise einmal an jeder Aufrufstelle –, um die Genauigkeit der Analyse zu verbessern.

Verweise