Trecho da Taxonomia da ACM para a Computação

0. Logics and Meanings of Programs
   0. General
   1. Specifying and Verifying and Reasoning about Programs
      1. Assertions
      2. Invariants
      3. Logics of programs
      4. Mechanical verification
      5. Pre- and post-conditions
      6. Specification techniques
   2. Semantics of Programming Languages
      1. Algebraic approaches to semantics
      2. Denotational semantics
      3. Operational semantics
      4. Partial evaluation
      5. Process models
      6. Program analysis
   3. Studies of Program Constructs
      1. Control primitives
      2. Functional constructs
      3. Object-oriented constructs
      4. Program and recursion schemes
      5. Type structure
   13. Miscellaneous
1. Mathematical Logic and Formal Languages
   0. General
   1. Mathematical Logic
      1. Computability theory
      2. Computational logic
      3. Lambda calculus and related systems
      4. Logic and constraint programming
      5. Mechanical theorem proving
      6. Modal logic
      7. Model theory
      8. Proof theory
      9. Recursive function theory
      10. Set theory
      11. Temporal logic
   2. Grammars and Other Rewriting Systems
      1. Decision problems
      2. Grammar types
      3. Parallel rewriting systems
      4. Parsing
      5. Thue systems
   3. Formal Languages
      1. Algebraic language theory
      2. Classes defined by grammars or automata
      3. Classes defined by resource-bounded automata
      4. Decision problems
      5. Operations on languages
   13. Miscellaneous

Fonte: http://www.computer.org/portal/site/ieeecs/menuitem.c5efb9b8ade9096b8a9ca0108bcd45f3/index.jsp?&pName=ieeecs_level1&path=ieeecs/publications/author&file=ACMtaxonomy.xml&xsl=generic.xsl&;jsessionid=JVnZTZRWqL3hFXMMGZYnXWGzhq033J9N82SpL5MCnJW4597Ty6tC!-551649330