SemanticAnalysis教学幻灯片讲义.pptxVIP

Semantic AnalysisWhere We AreSource Code Lexical Analysis Syntax AnalysisSemantic Analysis IR Generation IR OptimizationCode GenerationMachine CodeOptimizationWhere We AreProgram is lexically well-formed:Identifiers have valid names.Strings are properly terminated.No stray characters.Program is syntactically well-formed:Declarations have the correct structure.Expressions are syntactically valid.Does this mean that the program is legal?A Short Programclass MyClass implements MyInterface {string myInteger;void doSomething() { int[] x = new string;x[5] = myInteger * y;}void doSomething() {}int fi