- Logics and Meanings of Programs 4
- Mathematical Logic and Formal Languages 4
- Artificial Intelligence 3
- Software Engineering/Programming and Operating Systems 3
- Programming Languages, Compilers, Interpreters 2
- Programming Techniques 2
- Computation by Abstract Devices 1
- Computer System Implementation 1
- Software Engineering 1
- Symbolic and Algebraic Manipulation 1