Programming language semantics

• Everything beyond the BNF

• Operational semantics

  • Abstract interpretation (fancy data flow)

• Axiomatic semantics

  • Pre/post conditions to define constructs

• Denotational semantics

  • Associate abstract syntax with semantic domains

Previous slide

Next slide

Back to first slide

View graphic version