Go backward to Command Semantics Go up to Top Go forward to Example

Expression Semantics

[[.: _exp]]: Store -> (Int union Bool) [[N: intexp]](s) = [[N: int]]
[[@L: intexp]](s) = lookup([[L: intloc]], s)
[[not E: boolexp]](s) = not([[E: boolexp]](s))
[[E₁+E₂: intexp]](s) =
    plus([[E₁: intexp]](s), [[E₂: intexp]](s))
[[E₁=E₂: boolexp]](s) =
    equalbool([[E₁: boolexp]](s), [[E₂: boolexp]](s))
[[E₁=E₂: boolexp]](s) =
    equalint([[E₁: intexp]](s), [[E₂: intexp]](s)) [[.: intloc]]: Location [[loc_i: intloc]] = loc_i [[.: int]]: Int [[n: int]] = n The meaning of an expression is a function from Store to Int or Bool.