WorldCat Identities

Dahl, Ole-Johan 1931-

Overview
Works: 133 works in 306 publications in 7 languages and 2,352 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Author, Honoree, Editor, Contributor
Publication Timeline
.
Most widely held works about Ole-Johan Dahl
 
Most widely held works by Ole-Johan Dahl
Structured programming by Ole-Johan Dahl( Book )

36 editions published between 1972 and 1990 in English and Undetermined and held by 748 WorldCat member libraries worldwide

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 by Magne Haveraaen( Book )

9 editions published in 1996 in English and held by 353 WorldCat member libraries worldwide

"This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994"--PUBLISHER'S WEBSITE
Organophosphorus chemistry by David W Allen( )

1 edition published in 1999 in English and held by 341 WorldCat member libraries worldwide

Organophosphorus Chemistry provides a comprehensive annual review of the literature. Coverage includes phosphines and their chalcogenides, phosphonium salts, low coordination number phosphorus compounds, penta- and hexa-coordinated compounds, tervalent phosphorus acids, nucleotides and nucleic acids, ylides and related compounds, and phosphazenes. The series will be of value to research workers in universities, government and industrial research organisations, whose work involves the use of organophosphorus compounds. It provides a concise but comprehensive survey of a vast field of study with
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl by Olaf Owe( Book )

6 editions published in 2004 in English and held by 337 WorldCat member libraries worldwide

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods
Verifiable programming by Ole-Johan Dahl( Book )

10 editions published in 1992 in English and held by 193 WorldCat member libraries worldwide

Software -- Software Engineering
Common base language by Ole-Johan Dahl( Book )

12 editions published between 1970 and 1982 in 3 languages and held by 30 WorldCat member libraries worldwide

Strukturnoe programmirovanie by Ole-Johan Dahl( Book )

5 editions published in 1975 in Russian and held by 12 WorldCat member libraries worldwide

SIMULA begin by G. M Birtwistle( Book )

8 editions published between 1973 and 1994 in English and Italian and held by 12 WorldCat member libraries worldwide

Structured programming by Ole-Johan Dahl( Book )

8 editions published between 1972 and 1990 in English and held by 12 WorldCat member libraries worldwide

SIMULA. A language for programming and description of discrete event systems. Introduction and user's manual. by Ole-Johan Dahl( Book )

8 editions published between 1966 and 1967 in English and held by 10 WorldCat member libraries worldwide

Notes on the SIMULA language by G. M Birtwistle( Book )

1 edition published in 1969 in English and held by 8 WorldCat member libraries worldwide

Simula 67. Universalʹnyj jazyk programmirovanija by Ole-Johan Dahl( Book )

2 editions published in 1969 in Russian and held by 8 WorldCat member libraries worldwide

Structured programming by Ole-Johan Dahl( Book )

1 edition published in 1972 in English and held by 8 WorldCat member libraries worldwide

Programación estructurada by Ole-Johan Dahl( Book )

7 editions published between 1976 and 1977 in Spanish and held by 7 WorldCat member libraries worldwide

Algoritmer og datastrukturer by Ole-Johan Dahl( Book )

5 editions published between 1973 and 1978 in Danish and Swedish and held by 7 WorldCat member libraries worldwide

Structured programming by Ole-Johan Dahl( Book )

1 edition published in 1972 in English and held by 7 WorldCat member libraries worldwide

Structured programming by Ole-Johan Dahl( Book )

2 editions published between 1972 and 1975 in English and held by 6 WorldCat member libraries worldwide

Monitors revisited by Ole-Johan Dahl( Book )

4 editions published between 1992 and 1993 in English and held by 6 WorldCat member libraries worldwide

On the use of sybtypes in ABEL by Ole-Johan Dahl( Book )

3 editions published in 1995 in English and held by 6 WorldCat member libraries worldwide

Abstract: "ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed first order language with subtypes and partial functions. The paper presents a constructive fragment of the core, based on terminating generator induction. We show how subtypes can be used to augment expressiveness and strengthen syntactic controls."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.23 for Organophos ... to 0.98 for Structured ...)

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
Covers
Organophosphorus chemistryFrom object-orientation to formal methods : essays in memory of Ole-Johan DahlVerifiable programming
Alternative Names
Dahl, O.

Dahl O.-J.

Dahl, O.-J. 1931-2002

Dahl, Ob-Johan.

Dahl, Ole Johan

Dal, U.

Dal, U.-I.

Ole-Johan Dahl

Ole-Johan Dahl computer scientist

Ole-Johan Dahl informaticien norvégien

Ole-Johan Dahl Noors informaticus (1931-2002)

Ole-Johan Dahl norsk ingeniør og informatikar

Ole-Johan Dahl norsk ingeniør og informatiker

Ole-Johan Dahl norsk ingenjör och datavetare

Ole-Johan Dahl norwegischer Informatiker

Ole-Yohan Dal

Дал У.

Дал, У 1931-

Даль, Оле-Йохан

Оле-Юган Даль

Օլե-Յոհան Դալ

اوله-یوهان دال دانشمند علوم کامپیوتر و مهندس نروژی

أولي يوهان دال

উলাহ্‌-ইয়োহান ডাল

ഒലെ ജൊഹാൻ ഡാൽ

オーレ=ヨハン・ダール Computer scientist

ダール, O. J.

奧利-約翰·達爾

Languages