2 Operational Semantics of IMP Here are the operational semantics rules for a simple imperative programming language, using the "hybrid style" of big steps for expressions and small steps for commands (n is a number) (b is a boolean) (0(2) (z, ) u u (vi v2F)w where D is an arithmetic or boolean operator (e, ) false (e2,) u (if e then e1 else e2, ) L U (if e then e1 else e2, ) u (skip, c2, ) (c2, ) 2 Operational Semantics of IMP Here are the operational semantics rules for a simple imperative programming language, using the "hybrid style" of big steps for expressions and small steps for commands (n is a number) (b is a boolean) (0(2) (z, ) u u (vi v2F)w where D is an arithmetic or boolean operator (e, ) false (e2,) u (if e then e1 else e2, ) L U (if e then e1 else e2, ) u (skip, c2, ) (c2, )