Exceptions and unit testing
Symbolic debuggers
Floating point