Q# | TOPIC
| 1 | 2 | 3 | 4 | 5
|
1 | predicate calculus or math logic
| 2 | 3 | 8 | 5 | 0
|
2 | formal languages, Turing machines
| 0 | 5 | 10 | 3 | 0
|
3 | Java experience
| 0 | 4 | 7 | 6 | 1
|
4 | C++ experience
| 0 | 3 | 5 | 8 | 2
|
5 | other OO PLs
| 2 | 7 | 7 | 2 | 0
|
6 | Design patterns
| 1 | 9 | 6 | 2 | 0
|
7 | ML experience
| 13 | 2 | 3 | 0 | 0
|
8 | other functional PLs
| 6 | 10 | 2 | 0 | 0
|
9 | XP
| 11 | 6 | 1 | 0 | 0
|
10 | JUnit
| 9 | 6 | 1 | 2 | 0
|
11 | ADTs in programming
| 1 | 7 | 4 | 5 | 1
|
12 | axioms for ADT semantics
| 9 | 6 | 3 | 0 | 0
|
13 | pre/post conditions, loop invariants
| 2 | 4 | 5 | 6 | 1
|
14 | lambda calculus
| 5 | 9 | 3 | 1 | 0
|
15 | denotational semantics
| 13 | 4 | 1 | 0 | 0
|
16 | temporal logic
| 12 | 4 | 2 | 0 | 0
|
17 | type expressions and theory
| 7 | 8 | 3 | 0 | 0
|
18 | aspect-oriented programming
| 13 | 5 | 0 | 0 | 0
|