3-27-2025 - Operational Semantics

Operational Semantics - deriving meanings based on operations Target language - language we’re trying to describe Meta language - language we use to describe the target

$$E\to E+E|n,n\in \mathbb{Z}$$

Then - definition of this language: Well defined - not underspecified

Prove 1+2=3 in OCaml using this definition

Racket

$$R\to (+RR)|n,n\in \mathbb{Z}$$

Lookup Table/Environment