Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten | lit.salon