[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Operational Semantics Example

• Operational semantics could be much lower level:

            mov i,r1
            mov y,r2
            jmpifless(r2,r1,out)
            ...
      out:  ...