Ole-Johan Dahl

According to our database1, Ole-Johan Dahl authored at least 14 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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2004
The Birth of Object Orientation: the Simula Languages.
Proceedings of the From Object-Orientation to Formal Methods, 2004

2002
Class and Subclass Declarations (Reprint).
Proceedings of the Software Pioneers., 2002

The Roots of Object Orientation: The Simula Language.
Proceedings of the Software Pioneers., 2002

1998
On Introducing Higher Order Functions in ABEL.
Nord. J. Comput., 1998

Subtyping and Constructive Specification.
Nord. J. Comput., 1998

1992
Verifiable programming.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-951062-5, 1992

1991
Generator Induction in Order Sorted Algebras.
Formal Asp. Comput., 1991

Formal Development with ABEL.
Proceedings of the VDM '91, 1991

1990
Object Orientation and Formal Techniques.
Proceedings of the VDM '90, 1990

1987
Object-Oriented Specifications.
Proceedings of the Research Directions in Object-Oriented Programming, 1987

1979
Time Swquences as a Tool for Describing Program Behaviour.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1974
An Approach to Correctness Proofs of Semicoroutines.
Proceedings of the Mathematical Foundations of Computer Science, 1974

1972
Structured programming.
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.
Commun. ACM, 1966


  Loading...