× RelevanzanalyseEine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programmevon Dieter MaurerVIII, 239 S.