Preventing null pointer exceptions at compile time by Michael Ernst and Werner Dietl