Al avanzar su carrera, Dahl se interesó en el uso de métodos formales, por ejemplo para razonar rigurosamente sobre orientación a objetos.