About this document
Understanding Arithmetic Expressions and Semantics by M is a document available to read on EtoBox.
The document discusses formal semantics of programming languages, specifically arithmetic expressions. It introduces big-step and small-step operational semantics as well as denotational semantics, and discusses properties like determinism, termination, and equivalence of the different semantics.
- Author
- M
- Language
- EN