Question: what is the difference between static and dynamic semantics?
Answer: Static objects are constructs (identifiers, statements, expressions etc.) in the text of the program, and have no meaningful existence beyond compile-time. Dynamic objects are (instances of) values, locations and the like, which live and move and have their being inside the computer at run-time.