And so,

• Contextual analysis involves the clear definition of

  • scoping rules
  • type rules

• Scoping checks engineered using

  • an identification table of varying complexity

• Type checking engineered using

  • representation construction functions
  • representation destruction functions
  • equivalence functions

Previous slide

Back to first slide

View graphic version