Semantic Analysis - Stanford University

Function declarations or prototypes serve a similar purpose for functions that variable declarations do for variables. Function and method identifiers also have a type, and the compiler can use ensure that a program is calling a function/method correctly. The compiler uses the prototype to check the number and types of arguments in function calls.

Tags:

  Analysis, Methods, Functions, Semantics, Semantic analysis

Information

Documents from same domain

Code Optimization - The Stanford SUIF Compiler Group

suif.stanford.edu

The compiler has done an enormous amount of analysis, but it still doesn’t really know how the program does what it does. In control-flow analysis, the compiler figures out even more information about how the program does its work, only now it can assume that there are no syntactic or semantic errors in the code.

  Compiler