Lecture 4Contextual Analysis

• Ensuring that program conforms to contextual rules – scope and type rules

• Identification

• Type checking

• Engineering considerations

Next slide

Back to first slide

View graphic version