Abstrakt. Moderna utvecklingsmiljöer integrerar olika statiska analyser i byggprocessen. Analyser som analyserar hela projektet närhelst projektets förändringar är opraktiska i detta sammanhang. Vi presenterar en strategi för automatisk inkrementalisering av analyser som anges som framlagda logiska program och utvärderas med hjälp av inkrementell inlagd utvärdering, en teknik för att effektivt uppdatera memo tabeller som svar på förändringar i fakta och regler. Metoden har genomförts och integrerats i Eclipse IDE. Våra mätningar visar att denna teknik är effektiv för att automatiskt inkrementera ett brett spektrum av statiska analyser.
Magellan systemet kodar programanalyser i Prolog, och det använder stegvis inlämnad utvärdering för att uppdatera analysresultatet som svar på förändringar i ämnet programmet REF ].
Automatic Incrementalization of Prolog Based Static Analyses
{'venue': 'PADL', 'journal': None, 'mag_field_of_study': ['Computer Science']}