Software Specifications, January 22–February 2, 1979, Copenhagen Winter School, D. Bjørner (ed.). LNCS no. 86, Springer 1979, pages 274-290. 23. The Development of the Simula Languages (Chapter IX: SIMULA Session). K. Nygaard and O.-J. Dahl. In: History of Programming Languages. Richard L. Wexelblat (ed.), Academic Press, New York, 1981, pages 439-493. Also in: ACM Sigplan History of Programming Languages Conference, June, 1978. ACM Sigplan Notices 13(1978) no. 8, pages 245-272. 24. Object Oriented Specification. O.-J. Dahl. In: Research Directions in ObjectOriented Programming, Bruce Shriver and Peter Wegner (eds.), MIT Press, Cambridge, 1987, pages 561-576. (Presented at the Object-Oriented Programming Workshop, June, 1986.) 25. Generator induction in order sorted algebra. O. Owe & O.-J. Dahl. In: Formal Aspects of Computing 3(1991) pages 2-20. 26. Formal Development with ABEL. O.-J. Dahl and O. Owe. In: Proceedings of Formal Software Development Methods. VDM ’91, Oct. 1991. LNCS no. 552, Springer, 1991, pages 320-362. 27. Object Orientation and Formal Techniques (extended abstract). O.-J. Dahl. In: VDM ’90 VDM and Z – Formal Methods in Software Development. LNCS no. 428, Springer, 1992, pages 1-11. 28. Value Types and Object Classes. O.-J. Dahl. In: ASU Newsletter 20(1992) no. 1, pages 8-20. 29. Monitors Revisited. O.-J. Dahl. In: A classical Mind: Essays in Honour of C.A.R. Hoare. A.W. Roscoe (ed.). Prentice Hall, 1994, pages 93-103. 30. Relating a Simulation Model to an Applicative Specification. O.-J. Dahl. In: Modelling and Simulation: Proceedings ESM, Praha, 1995, M. Snorek, M. Sujansky, A. Verbraeck (eds.) Society for Computer Simulation International, 1995, pages 633-638. 31. Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types jointly with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected papers. Magne Haveraaen, O. Owe, O.-J. Dahl (eds.). LNCS no. 1130, Springer, 1996, (550 pages) ISBN 3-540-61629-2 32. Data Access Safety and Storage Economy in Programming Languages. O.-J. Dahl. (8 pages) 23rd ASU Conference, August 1997, Stara Lesna, Slovakia. ASU Newsletter vol. 24, no. 2, Feb. 1998. 33. On Introducing Higher Order Functions in ABEL. O.-J. Dahl and Bjørn Kristoffersen. In: Nordic Journal of Computing 5(1998) pages 50-69. 34. Subtyping and Constructive Specification. O.-J. Dahl, O. Owe, Tore J. Bastiansen. In: Nordic Journal of Computing 5(1998) pages 19-49. 35. A Note on Monitor Versions: an Essay in the Honour of C.A.R. Hoare. O.J. Dahl. In: Millennial Perspectives in Computer Science (Proceeding of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare). Jim Davis, Bill Roscoe and Jim Woodcock (eds.). PALGRAVE, in the series Cornerstones of Computing, 2000, pages 91-98. 36. The Roots of Object Orientation: the Simula Language. O.-J. Dahl. In: Software Pioneers: Contribution to Software Engineering. Manfred Broy, Ernst Denert (eds.), Springer Verlag, 2002. pages 78-90. (Talk given at conference in Bonn, June 2001) ISBN 3-540-43081-4Data Types jointly with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected papers. Magne Haveraaen, O. Owe, O.-J. Dahl (eds.). LNCS no. 1130, Springer, 1996, (550 pages) ISBN 3-540-61629-2 32. Data Access Safety and Storage Economy in Programming Languages. O.-J. Dahl. (8 pages) 23rd ASU Conference, August 1997, Stara Lesna, Slovakia. ASU Newsletter vol. 24, no. 2, Feb. 1998. 33. On Introducing Higher Order Functions in ABEL. O.-J. Dahl and Bjørn Kristoffersen. In: Nordic Journal of Computing 5(1998) pages 50-69. 34. Subtyping and Constructive Specification. O.-J. Dahl, O. Owe, Tore J. Bastiansen. In: Nordic Journal of Computing 5(1998) pages 19-49. 35. A Note on Monitor Versions: an Essay in the Honour of C.A.R. Hoare. O.J. Dahl. In: Millennial Perspectives in Computer Science (Proceeding of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare). Jim Davis, Bill Roscoe and Jim Woodcock (eds.). PALGRAVE, in the series Cornerstones of Computing, 2000, pages 91-98. 36. The Roots of Object Orientation: the Simula Language. O.-J. Dahl. In: Software Pioneers: Contribution to Software Engineering. Manfred Broy, Ernst Denert (eds.), Springer Verlag, 2002. pages 78-90. (Talk given at conference in Bonn, June 2001) ISBN 3-540-43081-4 Reports from University of Oslo Early reports are from Department of Mathematics, section D (for numerical analysis and computer science). Later reports are from Department of Informatics (IFI), which was formed in 1978. Reports marked by a star ( ∗) represent early versions or revisions of papers mentioned above.
[1]
Ole-Johan Dahl,et al.
Analysis of an algorithm for priority queue administration
,
1975
.
[2]
Hans-Jörg Kreowski,et al.
Recent Trends in Data Type Specification
,
1985,
Informatik-Fachberichte.
[3]
Kristen Nygaard,et al.
SIMULA: an ALGOL-based simulation language
,
1966,
CACM.
[4]
J. Kohlas.
Department of Informatics University of Fribourg Information in Context
,
2002
.
[5]
Jan Rune Holmevik.
Compiling SIMULA: a historical study of technological genesis
,
1994,
IEEE Annals of the History of Computing.
[6]
Bjørn Kristoffersen,et al.
On Introducing Higher Order Functions in ABEL
,
1998,
Nord. J. Comput..
[7]
Kristen Nygaard,et al.
The simula 67 common base definition
,
1970
.
[8]
Stein Krogdahl.
The Birth of Simula
,
2003,
History of Nordic Computing.
[9]
Olaf Owe,et al.
Generator induction in order sorted algebras
,
2005,
Formal Aspects of Computing.
[10]
C. A. R. HOARE,et al.
An axiomatic basis for computer programming
,
1969,
CACM.
[11]
Olaf Owe,et al.
Preliminary Report on the Specification and Programming Language Abel
,
1987
.
[12]
Charles M. Shub,et al.
Discrete Event Simulation Languages
,
1980
.
[13]
Ole-Johan Dahl,et al.
Relating a Simulation Model to an Applicative Specification
,
1995
.
[14]
R. Acevedo,et al.
Research report
,
1967,
Revista odontologica de Puerto Rico.
[15]
Tony Hoare,et al.
Hierarchical Program Structures
,
1972
.
[16]
C. A. R. Hoare,et al.
Proof of correctness of data representations
,
1972,
Acta Informatica.