====Dynamic semantics====Once data has been specified, the machine must be instructed to perform operations on the data.
Druge oblike statične analize kot je analiza toka podatkov so lahko prav tako del statične semantike.