Amber Bernstein bases Bernstein expansion Convex optimization Convex polytopes Dynamic memories Embedded systems Heap consumption Heap space analysis Imperative programs Initial configurations Java Life-times Memory consumptions Memory managements Memory regions Memory requirement Memory requirements Object allocations Optimization Out of memories Polyhedral domains Polynomial approximation Polynomial optimization problems Polynomials Program optimization Set theory Static program analysis Topology