Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ole-Johan Dahl

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Ole-Johan Dahl

Publications

2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Dahl04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Dahl04
Ole-Johan Dahl:
The Birth of Object Orientation: the Simula Languages. Essays in Memory of Ole-Johan Dahl 2004: 15-25
2002
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/02/Dahl02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/02/Dahl02
Ole-Johan Dahl:
The Roots of Object Orientation: The Simula Language. Software Pioneers 2002: 78-90
1992
[b2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0068779
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0068779
Ole-Johan Dahl:
Verifiable programming. Prentice Hall international series in computer science, Prentice Hall 1992, ISBN 978-0-13-951062-5, pp. I-IX, 1-269
1990
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Dahl90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Dahl90
Ole-Johan Dahl:
Object Orientation and Formal Techniques. VDM Europe 1990: 1-11
1987
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/mit/shriverW87/Dahl87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mit/shriverW87/Dahl87
Ole-Johan Dahl:
Object-Oriented Specifications. Research Directions in Object-Oriented Programming 1987: 561-576
1986
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Dahl86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Dahl86
Ole-Johan Dahl:
Object-oriented specification (abstract only). OOPWORK 1986: 184
1979
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Dahl79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Dahl79
Ole-Johan Dahl:
Time Swquences as a Tool for Describing Program Behaviour. Abstract Software Specifications 1979: 273-290
1978
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hopl/Dahl78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hopl/Dahl78
Ole-Johan Dahl:
Transcript of discussant's remarks. HOPL 1978: 488-490
1974
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Dahl74
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Dahl74
Ole-Johan Dahl:
An Approach to Correctness Proofs of Semicoroutines. MFCS 1974: 157-174

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.