A.M. TURING CENTENARY CELEBRATION WEBCAST
  • go to Joseph Sifakis's profile page
  • go to Juris Hartmanis's profile page
  • go to E. Allen Emerson's profile page
  • go to Ronald L Rivest's profile page
  • go to Butler W Lampson's profile page
  • go to Herbert A. Simon's profile page
  • go to Kenneth Lane Thompson's profile page
  • go to William Kahan's profile page
  • go to Leonard M. Adleman's profile page
  • go to Shafi Goldwasser 's profile page
  • go to David Patterson's profile page
  • go to Judea Pearl's profile page
  • go to Michael O. Rabin 's profile page
  • go to Kristen Nygaard 's profile page
  • go to Robert Melancton Metcalfe's profile page
  • go to Robert W. Floyd's profile page
  • go to Ivan Sutherland's profile page
  • go to Raj Reddy's profile page
  • go to Dana S Scott's profile page
  • go to Avi Wigderson's profile page
  • go to John Cocke 's profile page
  • go to Leslie Lamport's profile page
  • go to Allen Newell 's profile page
  • go to Edsger W. Dijkstra's profile page
A.M. TURING AWARD WINNERS BY...
Ole-Johan Dahl

PHOTOGRAPHS

Ole-Johan Dahl DL Author Profile link

Norway – 2001
Short Annotated Bibliography
  1. Birtwistle, G. M., O.-J. Dahl, B. Myhrhaug and K. Nygaard, SIMULA begin, Petrocelli/Charter, New York, NY, 1975.The classic text on SIMULA.
  2. Dahl, O.-J., E. W. Dijkstra, and C. Hoare, Structured Programming, Volume 8 of A.P.I.C. Studies in Data Processing. Academic Press, 1972.A landmark volume on the topic, still widely read. It contains three segments, the final one being “Hierarchical program structures” by O.-J. Dahl and C. Hoare.
  3. Dahl, O.-J., Transcript of discussant’s remarks. In R. L. Wexelblat (editor), History of programming languages I, Chapter IX, pp. 488–490, Academic Press, New York, NY, USA, 1981.Dahl's views on the significance of SIMULA, delivered at the first HOPL conference.
  4. Dahl, O.-J., “The roots of object-oriented programming: the Simula language,” in M. Broy and E. Denert (editors) Software Pioneers: Contributions to Software Engineering, pp. 79–90, Springer-Verlag, Berlin, Heidelberg, 2002.A later retrospective by Dahl on the origins of objects.
  5. Dahl, O.-J. and K. Nygaard. “Class and subclass declarations,” in J. N. Buxton (editor) Simulation Programming Languages, Proceedings from the IFIP working conference in Oslo, pp. 158–174, Amsterdam, May 1967, North Holland.This is the “Lysebu paper,” named for the hotel at which the 1967 Conference on Simulation Languages was held, which first described SIMULA 67's classes and subclasses
  6. Dahl, O.-J. and O. Owe, “Formal Development with ABEL”, in Proceedings of Formal Software Development Methods, VDM '91, Oct. 1991, Lecture Notes in Computer Science, Vol. 552, pp. 320–362, Springer, 1991.Describes Dahl's later work on object-oriented language design and reasoning.
  7. Nygaard, K. and O.-J. Dahl, “The development of the SIMULA languages”, in R. L. Wexelblat (editor), History of programming languages I, chapter IX, pp. 439–480. Academic Press, New York, NY, USA, 1981.The first definitive description of the development of SIMULA, written by its developers.The Weselblatt “History of Programming Languages” is available free here on the ACM Digital Library.
  8. Nygaard, K, “Basic concepts in object oriented programming”, in Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, SIGPLAN Notices, Vol. 21, Num. 10, pp. 128–132, New York, NY, USA, October 1986, ACM.This is not by Dahl, but it gives an alternative view of the basic concepts, and some historical perspective. Available here on the ACM Digital Library.
  9. Dahl, O.-J., Verifiable Programming, Prentice Hall (International series in computer science), New York, 1992, revised edition 1993.This work includes many of Dahl’s his own research results particularly the reasoning techniques he developed.