Programming Language Theory Flashcard

What is the operational semantics of arithmetic expressions?

Books

Concepts

Decklanguage theory

Question

What is the operational semantics of arithmetic expressions?

Answer

Combining arithmetic and boolean expressions.

Syntax:

\begin{matrix} t & : = & tru \\ | & fls \\ | & if t then t else t \\ | & succ t \\ | & pred t \\ | & iszero t \end{matrix}

Value:

\begin{matrix} v & : = & tru \\ | & fls \\ | & n v \\ n v & : = & 0 \\ | & succ n v \end{matrix}

Evaluation relation:

\frac{t_{1} \to t_{1}^{'}}{if t_{1} then t_{2} else t_{3} \to if t_{1}^{'} then t_{2} else t_{3}} if tru then t_{1} else t_{2} \to t_{1} if fls then t_{1} else t_{2} \to t_{2} \frac{t \to t^{'}}{succ t \to succ t^{'}} \frac{t \to t^{'}}{pred t \to pred t^{'}} pred 0 \to 0 pred (succ t) \to t \frac{t \to t^{'}}{iszero t \to iszero t^{'}} iszero 0 \to tru iszero (succ n v) \to fls