As his career progressed, Dahl became increasingly interested in the use of formal methods, to rigorously reason about object-orientation for example.
Ketika kariernya naik, Dahl menjadi semakin tertarik dengan penggunaan metode formal, untuk melakukan penalaran secara rigor terhadap orientasi objek.