[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Statement Basics

• The meaning of a single statement executed in a state s is a new state s' (that reflects the effects of the statement)

      Mstmt(Stmt , s) = s'
  

• For a sequence of statements:

      Mstmt(Stmt1; Stmt2 , s) =
          Mstmt( Stmt2 , Mstmt( Stmt1 , s))
  

or

    Mstmt(Stmt1; Stmt2 , s) = S'' where
        s' = Mstmt(Stmt1 , s)
        s'' = Mstmt(Stmt2 , s')