Unit 6 Learning Outcomes

Upon successful completion of this unit, you will be able to:

  • Explain semantic analysis in the context of the compilation process.
  • Describe scope checking and type checking.
  • Specify the functions of semantic analysis.
  • Solve type equations and make inferences in a type calculus.
Last modified: Monday, May 2, 2016, 10:00 AM