Ole-Johan Dahl

We are very sorry to inform you that Ole-Johan Dahl passed away in 2002.
A memorial site can be found at: http://www.ifi.uio.no/adminf/tribute.html.

Last publications

• Generator Induction in Order Sorted Algebras, 1990 (with O. Owe)
• Value Types and Object Classes, 1992
• Monitors Revisited, 1993
• Relating a Simulation Model to an Applicative Specification, 1995
• Subtyping and Constructive Specification,1998 (with O. Owe and T.J. Bastiansen)
• On Introducing Higher Order Functions in ABEL, 1998 (B. Kristoffersen)
• A Note on Monitor Versions An essay in the honour of C.A.R. Hoare; May, 1999.
• The Birth of Object Orientation: the Simula Languages; June, 2001