- Logics and Meanings of Programs 10
- Software Engineering 10
- Programming Languages, Compilers, Interpreters 9
- Programming Techniques 9
- Mathematical Logic and Formal Languages 7
- Artificial Intelligence 3
- Computation by Abstract Devices 2
- Operating Systems 2
- Software Engineering/Programming and Operating Systems 2
- Computer System Implementation 1
- Data Structures 1
- Theory of Computation 1