The ACM Computing Classification System (1991)

F.3.2 Semantics of Programming Languages

  • Algebraic approaches to semantics
  • Denotational semantics
  • Operational semantics