| 2004 |
|---|
| 11 | EE | Ole-Johan Dahl:
The Birth of Object Orientation: the Simula Languages.
Essays in Memory of Ole-Johan Dahl 2004: 15-25 |
| 1998 |
|---|
| 10 | | Bjørn Kristoffersen,
Ole-Johan Dahl:
On Introducing Higher Order Functions in ABEL.
Nord. J. Comput. 5(1): (1998) |
| 9 | | Ole-Johan Dahl,
Olaf Owe,
Tore J. Bastiansen:
Subtyping and Constructive Specification.
Nord. J. Comput. 5(1): (1998) |
| 1996 |
|---|
| 8 | | Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl:
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers
Springer 1996 |
| 1991 |
|---|
| 7 | | Ole-Johan Dahl,
Olaf Owe:
Formal Development with ABEL.
VDM Europe (2) 1991: 320-362 |
| 6 | | Olaf Owe,
Ole-Johan Dahl:
Generator Induction in Order Sorted Algebras.
Formal Asp. Comput. 3(1): 2-20 (1991) |
| 1990 |
|---|
| 5 | | Ole-Johan Dahl:
Object Orientation and Formal Techniques.
VDM Europe 1990: 1-11 |
| 1987 |
|---|
| 4 | | Ole-Johan Dahl:
Object-Oriented Specifications.
Research Directions in Object-Oriented Programming 1987: 561-576 |
| 1979 |
|---|
| 3 | | Ole-Johan Dahl:
Time Swquences as a Tool for Describing Program Behaviour.
Abstract Software Specifications 1979: 273-290 |
| 1974 |
|---|
| 2 | | Ole-Johan Dahl:
An Approach to Correctness Proofs of Semicoroutines.
MFCS 1974: 157-174 |
| 1966 |
|---|
| 1 | EE | Ole-Johan Dahl,
Kristen Nygaard:
SIMULA - an ALGOL-based simulation language.
Commun. ACM 9(9): 671-678 (1966) |
