Abstrakt. Aggressiva kompilatorer använder ett större antal välförståeliga optimeringar i hopp om att förbättra kompilerad kodkvalitet. Tyvärr kräver dessa optimeringar en mängd olika mellanprogram representationer. Ett första steg mot att förena dessa optimeringar till en gemensam mellanrepresentation beskrivs. Den valda representationen är programberoende grafen, som fångar både kontrollflöde och dataflöde information från ett program. Optimeringen av (interprocedural) konstant förökning studeras. Den utvecklade algoritmen kombinerar en programberoende graf som kallas systemberoende grafen (SDG) med idéerna om dataflöde dator och graf omskrivning. Algoritmen hittar säkert de klasser av konstanter som finns av andra intraprocedurala och intraprocedurala konstantförökningsalgoritmer. Dessutom gör målen för hållbar utveckling det möjligt för konstanter att föröka sig genom förfaranden. Detta gör det möjligt för algoritmen att upptäcka konstanter i ett anropsförfarande även trodde att inga konstanter finns i det kallade förfarandet.
En annan metod använder systemberoende grafer (SDG) för att representera data-flöde och kontroll-flöde av ett program REF.
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model
{'venue': 'In International Conference on Compiler Construction', 'journal': None, 'mag_field_of_study': ['Computer Science']}