En enhetlig modell av en familj av dataflödesalgoritmer, så kallade elimineringsmetoder, presenteras. Algoritmerna, som samlar information om definition och användning av data i ett program eller en uppsättning program, kännetecknas av det sätt på vilket de löser system av ekvationer som beskriver dataflödesproblem av intresse. Den enhetliga modellen ger implementation-oberoende beskrivningar av algoritmerna för att underlätta jämförelser mellan dem och illustrera källorna till förbättring i värsta fall komplexitet gränser. Denna handledning ger en studie i algoritmdesign, samt en ny bild av dessa algoritmer och deras inbördes relationer.
Det finns två familjer av dataflödesalgoritmer: elimineringsmetoder REF och iterativa algoritmer.
Elimination algorithms for data flow analysis
{'venue': 'CSUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}