What can I do if available memory becomes a problem during a product's lifetime?

• Switching to another microcontroller model supporting more memory means additional investment: time, effort, and money.

• Reducing code size manually is not only tedious and error-prone, but involves additional expense into the bargain. The result: Precious engineering resources are wasted.

By contrast, abstract interpretation and advanced pattern matching techniques provide for a cost-effective generic approach for automatically reducing code size.