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