[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Dynamic Semantics

• No single widely acceptable notation or formalism for describing semantics

• Three common approaches:
  • Operational
  • Axiomatic
  • Denotational