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 …

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 …