Introduction - If you have any usage issues, please Google them yourself
Type checking/inference realization tiny semantic analyzer reading and analysis, to understand the definition of the symbol table (part set) based on the abstract syntax tree (tree traversal). Completion of the C-language definition of the symbol table design. The planning type checking/inference realization. A language semantic analyzer