CS代写 CS 421 — Big Step Semantics Rules

Expression Rules
⇓e i Const,wheniisainteger. ⇓e v Var,ifu:=v∈σ.
⇓e v1 ⇓e v2
⇓ v ⊕v Arith

Copyright By PowCoder代写 加微信 powcoder

Boolean Rules
⇓b b Const,whenbistrueorfalse. ⇓b v Var,ifu:=v∈σ.
⇓e v1 ⇓e v2
⇓ v ∼v Rel
CS 421 — Big Step Semantics Rules
12e12 12b12
Statement Rules
< skip ,σ >⇓ σ Skip
< S1,σ >⇓ σ′
< e, σ >⇓e v ⇓σ[x:=v] Assign
< S2,σ′ >⇓ σ′′ < S1;S2,σ >⇓ σ′′
⇓σ′ ⇓b false ⇓σ′ ⇓b false
⇓b true
⇓σ′ If1 ⇓σ′ If2
⇓b true
⇓σ While1 ⇓σ′ ⇓σ′′
⇓σ′′

程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com