Removing useless variables in cost analysis of Java bytecode

E Albert, P Arenas, S Genaim, G Puebla… - Proceedings of the 2008 …, 2008 - dl.acm.org
Automatic cost analysis has interesting applications in the context of verification and
certification of mobile code. For instance, the code receiver can use cost information in order
to decide whether to reject mobile code which has too large cost requirements in terms of
computing resources (in time and/or space) or billable events (SMSs sent, bandwidth
required). Existing cost analyses for a variety of languages describe the resource
consumption of programs by means of Cost Equation Systems (CESs), which are similar to …

[PDF][PDF] Removing Useless Variables in Cost Analysis of Java Bytecode

EAP Arenas, S Genaim, G Puebla, D Zanardini - 2008 - cliplab.org
Automatic cost analysis has interesting applications in the context of verification and
certification of mobile code. For instance, the code receiver can use cost information in order
to decide whether to reject mobile code which has too large cost requirements in terms of
computing resources (in time and/or space) or billable events (SMSs sent, bandwidth
required). Existing cost analyses for a variety of languages describe the resource
consumption of programs by means of Cost Equation Systems (CESs), which are similar to …
Showing the best results for this search. See all results