En praktisk procedur för att beräkna en regelbunden approximation av ett logiskt program ges. Regelbundna approximationer är användbara i en mängd olika uppgifter i felsökning, program specialisering och kompilering-tidsoptimering. Algoritmen som visas här innehåller optimeringar tagna från deduktiva databasfixpunktsalgoritmer och effektiva nedifrån-och-upp abstrakta tolkningstekniker. Ramar för att fastställa regelbundna approximationer har tidigare lagts fram, men tonvikten har vanligtvis legat på teoretiska aspekter. Våra resultat bidrar främst till utvecklingen av effektiva analysverktyg som kan appliceras på stora program. Precisionen av approximationen kan förbättras avsevärt genom att använda frågesvar transformationer till ett program och ett mål, vilket fångar vissa argument beroende information. En ny teknik är att använda omvandlingar baserade på andra beräkningsregler än vänster-till-höger för att ytterligare förbättra precisionen. Vi ger resultat för vår procedur på en rad olika program.
Denna teknik används också i REF.
Fast and Precise Regular Approximations of Logic Programs
{'venue': 'ICLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}