I detta dokument presenteras på ett motiverat sätt vårt arbete med resursanalys genom kvasitolkningar. De kontrollerade resurserna är normalt runtime, runspace eller storleken på ett resultat i ett program exekvering. Kvasitolkningar gör det möjligt att analysera systemets komplexitet. En kvasitolkning är en numerisk uppdrag, som ger en övre gräns på beräknade funktioner och som är kompatibel med programmet operativa semantik. Kvasitolkningsmetoden erbjuder flera fördelar: (i) Det ger tips för att optimera en körning, (ii) det ger resurscertifikat, och (iii) hitta kvasitolkningar är decidable för en bred klass som är relevant för genomförbara beräkningar. Genom att kombinera kvasitolkningsmetoden med termineringsverktyg (här termen beställningar), fick vi flera karakteriseringar av komplexitetsklasser från Ptime och Pspace. →v, vi har u ≥ v PROOF. Ett sammanhang är en särskild term som vi skriver C[ på] där  till är en ny variabel. Substitutionen av  på C[ ska] med en term t noteras C[t].
I serien av verk på polynomiska kvasitolkningar REF en studier polynom övre gränser.
Quasi-interpretations a way to control resources
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}