1
Q
What are semantics?
A
Describes behaviour of a program when it is executed using finite resources on abstract hardware.
2
Q
How do computers execute programs?
A
Interpreting it one statement at a time or compiling it translating statements into machine code.
3
Q
What is a store?
A
Finite set of key-value pairs, where the keys are VARIABLE names
4
Q
How may a store be written?
A
{X1:d1,Xn:dn}
where dn is value in D (decimal).
5
Q
When might we use the bottom element
A
Not defined
Results that do not terminate
