The ACM Computing Classification System (1998)

D.3.1 Formal Definitions and Theory

  • Semantics
  • Syntax