Go backward to A Block-Structured Language Go up to Top Go forward to Example

Strongly Typed Languages

• Environment processing can proceed independently of store processing.
• P[[P]] can be simplified without value of initial base location t and initial store s.
• Result neither contains occurences of environment arguments nor checking of denotable and expressible value tags.
• Simplifications correspond to declaration and type-checking actions in a compiler.