The ACM Computing Classification System (1998)

F.3.2 Semantics of Programming Languages

  • Algebraic approaches to semantics
  • Denotational semantics
  • Operational semantics
  • Partial evaluation
  • Process models
  • Program analysis