Area | From | To |
---|---|---|
CPUs | 8-bit microprocessors | 32-bit SPARC/x86 |
Operating systems | Basic proprietary OSs | Unix and derivatives |
Programming languages | Machine code | Functional & object-orientated |
Debugging | Single-stepping the CPU | Formal program verification |
Application software | Numeric calculations | Theorem provers |