A Bibliography of Ole-Johan Dahl

On 12 October 1931, Ole-Johan Dahl was born to the family of a ship captain in Mandal, the southernmost city of Norway. In 1952, three years after beginning his studies at the University of Oslo, he was introduced to computers at the Norwegian Defense Research Establishment (NDRE) where he fulfilled his military service obligation. Jan V. Garwick was responsible for the field of mathematical analysis and calculations, and Ole-Johan was placed in the “computing room” led by Garwick’s assistant, Kristen Nygaard. It is quite likely that, in this setting, Garwick, Nygaard and Dahl were the first in Norway to develop programs on “large” digital computers. In the years to come, NDRE cultivated a scientific collaboration with the pioneering computer group at the University of Manchester and the electronics company Ferranti. As a result of this tie, NDRE got the first version of Ferranti’s Mercury computer in 1957.

[1]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[2]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[3]  C. A. R. Hoare,et al.  Proof of correctness of data representations , 1972, Acta Informatica.

[4]  Ole-Johan Dahl,et al.  Object Orientation and Formal Techniques , 1990, VDM Europe.

[5]  Olaf Owe,et al.  Formal Development with ABEL , 1991, VDM Europe.

[6]  Bruce D. Shriver,et al.  Research Directions in Object-Oriented Programming , 1987 .

[7]  Tony Hoare,et al.  Hierarchical Program Structures , 1972 .

[8]  Ole-Johan Dahl.  Verifiable programming , 1992, Prentice Hall international series in computer science.

[9]  Ole-Johan Dahl.  The Birth of Object Orientation: the Simula Languages , 2004, Essays in Memory of Ole-Johan Dahl.

[10]  Kristen Nygaard,et al.  Some features of the SIMULA 67 language , 1968 .

[11]  Ole-Johan Dahl,et al.  Programming languages as tools for the formulation of concepts , 1969 .

[12]  Ole-Johan Dahl.  An Approach to Correctness Proofs of Semicoroutines , 1974, MFCS.

[13]  Olaf Owe,et al.  Subtyping and Constructive Specification , 1998, Nord. J. Comput..

[14]  Dines Bjørner,et al.  Abstract Software Specifications , 1982, Lecture Notes in Computer Science.

[15]  Charles M. Shub,et al.  Discrete Event Simulation Languages , 1980 .

[16]  Ole-Johan Dahl,et al.  Coroutine sequencing in a block structured environment , 1971 .

[17]  Bjørn Kristoffersen,et al.  On Introducing Higher Order Functions in ABEL , 1998, Nord. J. Comput..

[18]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[19]  Olaf Owe,et al.  A presentation of the specification and verification project "ABEL" , 1985, SOEN.

[20]  Ole-Johan Dahl.  Monitors revisited , 1994 .

[21]  Kristen Nygaard,et al.  The development of the SIMULA languages , 1978, SIGP.

[22]  Ole-Johan Dahl,et al.  Class and Subclass Declarations (Reprint) , 2002, Software Pioneers.

[23]  Stein Krogdahl.  The Birth of Simula , 2003, History of Nordic Computing.

[24]  Ole-Johan Dahl,et al.  Time Swquences as a Tool for Describing Program Behaviour , 1979, Abstract Software Specifications.

[25]  Olaf Owe,et al.  On the use of subtypes in ABEL , 1995 .

[26]  Olaf Owe,et al.  Generator induction in order sorted algebras , 2005, Formal Aspects of Computing.

[27]  Ole-Johan Dahl,et al.  Analysis of an algorithm for priority queue administration , 1975 .

[28]  Aart Middeldorp,et al.  Term Rewriting , 1999, CSL.

[29]  J. N. Buxton.  Simulation programming languages : Proceedings of the IFIP Working Conference on Simulation Programming Languages , 1968 .

[30]  Sigurd Meldal.  Partial correctness of exits from concurrent structures , 1986, BIT Comput. Sci. Sect..

[31]  Jan Rune Holmevik.  Compiling SIMULA: a historical study of technological genesis , 1994, IEEE Annals of the History of Computing.

[32]  Nimal Nissanke.  Object Oriented Specification , 1999 .

[33]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.