Automata and Compilers 10 - Semantic Analysis and Type Checking
How semantic analysis catches the errors that parsers cannot, and how type checking guarantees program safety
How semantic analysis catches the errors that parsers cannot, and how type checking guarantees program safety