Semanitc Analysis Flashcards
Syntax concerns …
The value form of a program
Semantics concern a programs
Meaning
What are the two type of semantic rules
Dynamic and static
Static semantics only has to do with the
Legal forms of program
State type constraints
Dynamic semantics describe the meaning of
Expressing statements and program units
What is the principal job of the semantic analyzer
Enforce static semantics
When our static semantic rules enforced by the compiler?
Compile time (type checking)
When is the dynamic semantic rules enforced at by the compiler generated code?
Runtime (bounds checking)
Which static semantic attribute is Syed to pass semantic Information bottom up in a parse tree?
Synthesized attributes
What type of static semantic attribute is used to pass semantic information down or across the tree? (Similar to variables)
Inherited attributes
What type of semantics gives a program meanings in terms of its implantation on a real or virtual machine?
Operational
In operational semantics the state changes are defined by what in the machine?
Coded algorithms
I’m denotational semantics the state change is defined by what?
Rigorous mathematical functions
