The ACM Computing Classification System (1991)

F.3 LOGICS AND MEANINGS OF PROGRAMS

• F.3.0 General
• F.3.1 Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
• F.3.2 Semantics of Programming Languages (D.3.1)
• F.3.3 Studies of Program Constructs (D.3.2, D.3.3)
• F.3.m Miscellaneous