- Static semantic of a language is only indirectly related to the meaning of program during execution; rather it has to do with the legal forms of programs (syntax rather than semantics). Many static semantic rules of a language state its type constraints. Static semantics is so named because the analysis is required to check these specification can be done at compile time.
- Dynamic semantics is the meaning of the expression, statements, and program units of a programming language.
Generally speaking, dynamic semantics are defined during execution time and can be change while static semantics are known at compile time and do not change.
No comments:
Post a Comment