Go backward to Denotational semantics Go up to Top Go forward to Relationship

Application Areas

• Axiomatic: initial specification.
  • Which properties shall language have?
• Denotational: meaning.
  • Which semantics provides properties?
• Operational: implementation.
  • How can semantics be implemented?

Complementary aspects.