Clone wiki

inf225public / glossary / Dynamic semantics

[Alphabetical Index | Tag Index]

Dynamic semantics

Gives the meaning of a program at execution time; either in terms of values being computed, actions being performed and so on.

[Wikipedia]

Updated