Abstrakt. I denna artikel presenteras en ny generisk teknik för att lösa dataflödesekvationer i interprocedural dataflow analys. Tekniken erhålls genom att generalisera Newtons metod för att beräkna en nolla av en differentiable funktion till -kontinuerliga semirings. Fullständiga semilattices, den gemensamma programanalysramen, är en speciell klass av kontinuerliga halvringar. Vi visar att vår generaliserade metod alltid konvergerar till lösningen, och kräver som mest lika många iterationer som nuvarande metoder baserade på Kleenes fasta punktteori. Vi visar också att Newtons metod, tvärtemot Kleenes metod, alltid slutar för godtyckliga idempotenta och pendlande halvringar. Mer exakt, i den senare inställningen det antal iterationer som krävs för att lösa ett system av n ekvationer är som mest n.
Nyligen föreslog REF Newtonian Program Analysis som en generisk metod för att lösa iterativa programanalyser med hjälp av Newtons metod.
Newtonian program analysis
{'venue': 'JACM', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}