CS 3304: Comparative Languages
Semantics
[
Course Documents
] : [
Semantics
]
Previous
Contents
Next
Keyword Index
Program State
The meaning of language constructs are defined only by the values of the program's variables
The state of a program is the values of all its current variables, plus input and output state
s = {<i
1
, v
1
>, <i
2
, v
2
>, ..., <i
n
, v
n
>}
Let VARMAP be a function that, when given a variable name and a state, returns the current value of the variable:
VARMAP(i
j
, s) = v
j
