Abstrakt. Vi presenterar ett modulärt förhållningssätt till automatisk komplexitetsanalys. Baserat på en ny förändring mellan att hitta symboliska tidsbegränsningar för programdelar och att använda dessa för att dra slutsatser storleksbegränsningar på programvariabler, kan vi begränsa varje analyssteg till en liten del av programmet samtidigt som en hög precisionsnivå upprätthålls. Omfattande experiment med implementeringen av vår metod visar dess prestanda och kraft i jämförelse med andra verktyg.
REF gjorde komplexitetsanalys av heltalsprogram genom alternerande tid och storlek analys på små delar av programmet.
Alternating Runtime and Size Complexity Analysis of Integer Programs
{'venue': 'TACAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}