Title: Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten