Abstrakt. Kostnadsanalys av Java bytecode kompliceras av dess ostrukturerade kontrollflöde, användningen av en operand stack och dess objektorienterade programmeringsfunktioner (som dynamisk sändning). Detta dokument tar upp dessa problem och utvecklar ett generiskt ramverk för den automatiska kostnadsanalysen av sekventiell Java bytecode. Vår metod genererar kostnadsrelationer som vid kompileringstid definierar kostnaden för program som en funktion av deras indatastorlek. Såvitt vi vet är detta den första metoden för automatisk kostnadsanalys av Java bytecode.
I REF föreslår författarna till exempel statisk analysram för kostnadsanalys av sekventiell Java bytekod som lägger till kostnadsrelationer för att definiera kostnaden för ett program som en funktion av dess indatastorlek.
Cost analysis of java bytecode
{'venue': 'In Proc. of ESOP’07, volume 4421 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}