Go backward to Simplification Go up to Top

Simplification

• Each simplification step preserves meaning.
• Goal is to produce equivalent expression whose meaning is more obvious than the meaning of the original.
• Simplification process shows how program operates.
• Denotational definition -> specification.
• Denotational definition plus simplification strategy -> implementation.