Skip to content
Snippets Groups Projects
Commit ffa190a8 authored by David Söderberg's avatar David Söderberg
Browse files

Update HOME_EXAM.md

parent 93e0cbc7
No related branches found
No related tags found
No related merge requests found
......@@ -297,7 +297,7 @@ Other boolean expressions are
\frac{<e,σ> ⇓ v, σ'}{<*e,σ> ⇓ \text{ deref } v,σ'}
```
### Function call
### Function call expression
```math
<e, σ> ⇓ \text{ret } e
```
......@@ -307,6 +307,11 @@ Other boolean expressions are
\frac{<v, σ>⇓<\text{let } v:=e, σ>⇓σ'}{<\text{let } v := e, σ> ⇓ σ[v := e]}
```
```math
\frac{<v,σ> ⇓ t <\text{let } v \text{ : } t,σ> ⇓ σ'}{<\text{let } v \text{ : } t, σ> ⇓ σ[v \text{ : } t]}
```
### Assign expression
```math
{<v := e, σ> ⇓ σ[v := e]}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment