Program tillbringar större delen av sin tid i loopar och procedurer. Därför behandlar de flesta programomvandlingar och nödvändiga statiska analyser dessa. Det har länge varit erkänt, att olika utförande sammanhang för förfaranden kan framkalla olika utförande egenskaper. Det finns väl etablerade tekniker för interprocedural analys som anrop sträng tillvägagångssätt. Loops har inte fått liknande uppmärksamhet inom området data ow analys och abstrakt tolkning. Alla avrättningar behandlas på samma sätt, även om typiskt de första och senare avrättningar kan uppvisa mycket olika egenskaper. I detta dokument presenteras en ny teknik som gör det möjligt att tillämpa den välkända och etablerade interprocedurala analysteorin på slingor. Det visar sig att anropssträngen har begränsad exibilitet i sina möjligheter att gruppera flera anropssammanhang tillsammans för analysen. En utvidgning för att lösa detta problem presenteras som bygger på ett liknande tillvägagångssätt men ger mer användbara resultat i praktiken. De klassiska och de nya teknikerna implementeras i vårt program Analyser Generator PAG, som används för att demonstrera våra Ndings genom att tillämpa teknikerna på flera verkliga program.
I förslaget föreslogs att interprocedural analys skulle tillämpas på slingor.
Analysis of Loops
{'venue': 'In Proceedings of the 7th International Conference on Compiler Construction, volume 1383 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}