Ole-Johan Dahl

20 papers B 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2004 — conf
The Birth of Object Orientation: the Simula Languages.
Essays in Memory of Ole-Johan Dahl
Ole-Johan Dahl
2002 — ch.
Class and Subclass Declarations (Reprint).
Software Pioneers
Ole-Johan Dahl, Kristen Nygaard
2002 — ch.
The Roots of Object Orientation: The Simula Language.
Software Pioneers
Ole-Johan Dahl
1998 J jnl
On Introducing Higher Order Functions in ABEL.
Nord. J. Comput.
Bjørn Kristoffersen, Ole-Johan Dahl
1998 J jnl
Subtyping and Constructive Specification.
Nord. J. Comput.
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
1996 — ed.
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
COMPASS/ADT
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
1992 — book
Verifiable programming.
Ole-Johan Dahl
1991 — conf
Formal Development with ABEL.
VDM Europe (2)
Ole-Johan Dahl, Olaf Owe
1991 J jnl
Generator Induction in Order Sorted Algebras.
Formal Aspects Comput.
Olaf Owe, Ole-Johan Dahl
1990 — conf
Object Orientation and Formal Techniques.
VDM Europe
Ole-Johan Dahl
1987 — ch.
Object-Oriented Specifications.
Research Directions in Object-Oriented Programming
Ole-Johan Dahl
1986 — conf
Object-oriented specification (abstract only).
OOPWORK
Ole-Johan Dahl
1985 J jnl
A presentation of the specification and verification project "ABEL".
ACM SIGSOFT Softw. Eng. Notes
Ole-Johan Dahl, Olaf Owe
1979 — conf
Time Swquences as a Tool for Describing Program Behaviour.
Abstract Software Specifications
Ole-Johan Dahl
1978 — conf
The development of the SIMULA languages.
HOPL
Kristen Nygaard, Ole-Johan Dahl
1978 J jnl
The development of the SIMULA languages.
ACM SIGPLAN Notices
Kristen Nygaard, Ole-Johan Dahl
1978 — conf
Transcript of discussant's remarks.
HOPL
Ole-Johan Dahl
1974 B conf
An Approach to Correctness Proofs of Semicoroutines.
MFCS
Ole-Johan Dahl
1972 — book
Structured programming.
Ole-Johan Dahl, Edsger W. Dijkstra, Charles Antony Richard Hoare
1966 J jnl
SIMULA - an ALGOL-based simulation language.
Commun. ACM
Ole-Johan Dahl, Kristen Nygaard