amortized analysis, JavaScript type system, mobile applications, resource bounds, resource usage, type system.