amortized analysis, cost semantics, garbage collection, LP Solving, operational semantics, Resource Bound Analysis, static analysis, type inference, type systems.
