We stand with Ukraine  

Ole-Johan Dahl

According to our database1, Ole-Johan Dahl authored at least 18 papers between 1966 and 2004.

Collaborative distances:
  • Dijkstra number2 of one.
  • Erdős number3 of four.

Awards

Turing Prize recipient

Turing Prize 2001, "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." awarded to Ole-Johan Dahl and Kristen Nygaard.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2004
The Birth of Object Orientation: the Simula Languages.
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the From Object-Orientation to Formal Methods, 2004

2002
Class and Subclass Declarations (Reprint).
[BibTeX]
[DOI]
Ole-Johan Dahl
,
Kristen Nygaard
Proceedings of the Software Pioneers., 2002

The Roots of Object Orientation: The Simula Language.
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the Software Pioneers., 2002

1998
On Introducing Higher Order Functions in ABEL.
[BibTeX]
Bjørn Kristoffersen
,
Ole-Johan Dahl
Nord. J. Comput., 1998

Subtyping and Constructive Specification.
[BibTeX]
Ole-Johan Dahl
,
Olaf Owe
,
Tore J. Bastiansen
Nord. J. Comput., 1998

1992
Verifiable programming.
[BibTeX]
Ole-Johan Dahl
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-951062-5, 1992

1991
Generator Induction in Order Sorted Algebras.
[BibTeX]
[DOI]
Olaf Owe
,
Ole-Johan Dahl
Formal Aspects Comput., 1991

Formal Development with ABEL.
[BibTeX]
[DOI]
Ole-Johan Dahl
,
Olaf Owe
Proceedings of the VDM '91, 1991

1990
Object Orientation and Formal Techniques.
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the VDM '90, 1990

1987
Object-Oriented Specifications.
[BibTeX]
Ole-Johan Dahl
Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986
Object-oriented specification (abstract only).
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

1985
A presentation of the specification and verification project "ABEL".
[BibTeX]
[DOI]
Ole-Johan Dahl
,
Olaf Owe
ACM SIGSOFT Softw. Eng. Notes, 1985

1979
Time Swquences as a Tool for Describing Program Behaviour.
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1978
The development of the SIMULA languages.
[BibTeX]
[DOI]
Kristen Nygaard
,
Ole-Johan Dahl
ACM SIGPLAN Notices, 1978

Transcript of discussant's remarks.
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the History of Programming Languages, 1978

1974
An Approach to Correctness Proofs of Semicoroutines.
[BibTeX]
[DOI]
Ole-Johan Dahl
Proceedings of the Mathematical Foundations of Computer Science, 1974

1972
Structured programming.
[BibTeX]
Ole-Johan Dahl
,
Edsger W. Dijkstra
,
Charles Antony Richard Hoare
A.P.I.C. Studies in data processing 8, Academic Press, ISBN: 978-0-12-200550-3, 1972

1966
SIMULA - an ALGOL-based simulation language.
[BibTeX]
[DOI]
Ole-Johan Dahl
,
Kristen Nygaard
Commun. ACM, 1966


  Loading...