Key points are not available for this paper at this time.
Die Beseitigung redundanter Berechnungen und das Verschieben invarianter Berechnungen aus Schleifen erfolgen häufig separat, wobei Invarianten schrittweise nach außen verschoben werden. Wir schlagen vor, beides gleichzeitig zu tun und jeden Ausdruck direkt an den Eingang der äußersten Schleife zu verschieben, in der er invariant ist. Dies geschieht, indem ein allgemeineres Problem gelöst wird, d.h. die Beseitigung von Berechnungen, die auf einem bestimmten Ausführungspfad zweimal durchgeführt werden. Solche Berechnungen werden als teilweise redundant bezeichnet. Darüber hinaus erfordert der Algorithmus keine grafischen Informationen oder Einschränkungen hinsichtlich der Form des Programmgraphs. Tests dieses Algorithmus haben gezeigt, dass die Ausführungskosten nahezu linear mit der Größe des Programms sind und dass er zu einem kleineren Optimierer führt, der weniger Ausführungszeit benötigt.
Morel et al. (Do,) haben diese Frage untersucht.