[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Operational Semantics (cont.)

• The process:
  • Identify a virtual machine (an idealized computer)
  • Build a translator (translates source code to the machine code of an idealized computer)
  • Build a simulator for the idealized computer

• Operational semantics is sometimes called translational semantics, if an existing PL is used in place of the virtual machine