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
Return to:
F. Theory of Computation
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System