The ACM Computing Classification System (1991)
F.3.2 Semantics of Programming Languages
Algebraic approaches to semantics
Denotational semantics
Operational semantics
Return to:
F.3 LOGICS AND MEANINGS OF PROGRAMS
F. Theory of Computation
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System