El enfoque orientado a objetos es hoy en día omnipresente en el desarrollo de software, incluyendo lenguajes imperativos de gran aceptación como Java y C++.
Allí trabajó en Estructuras Jerárquicas de Programas, probablemente su publicación más influyente, escrita junto con C.A.R.
Hoare en el famoso libro Structured Programming en 1972 por Dahl, Edsger Dijkstra y Hoare, quizá el libro sobre software más conocido de los años 1970.
Al avanzar su carrera, Dahl se interesó en el uso de métodos formales, por ejemplo para razonar rigurosamente sobre orientación a objetos.
Recibió el Premio Turing por su trabajo en 2001, un año antes de fallecer.