@@ -293,6 +293,12 @@ Other boolean expressions are
...
@@ -293,6 +293,12 @@ Other boolean expressions are
<e, σ> ⇓ \text{ret } e
<e, σ> ⇓ \text{ret } e
```
```
### Let expression
```math
\frac{<v, σ>⇓<\text{let } v:=e, σ>⇓σ'}{<\text{let } v := e, σ> ⇓ σ[v := e]}
```
- Explain (in text) what an interpretation of your example should produce, do that by dry running your given example step by step. Relate back to the SOS rules. You may skip repetitions to avoid cluttering.
- Explain (in text) what an interpretation of your example should produce, do that by dry running your given example step by step. Relate back to the SOS rules. You may skip repetitions to avoid cluttering.
- For your implementation, give a program (or set of test programs) that cover all the semantics of your language that you have successfully implemented. (Maybe a subset of the input language accepted by the grammar.)
- For your implementation, give a program (or set of test programs) that cover all the semantics of your language that you have successfully implemented. (Maybe a subset of the input language accepted by the grammar.)
