WorldCat Identities

Dahl, Ole-Johan 1931-

Overview
Works: 65 works in 191 publications in 7 languages and 1,724 library holdings
Genres: Conference proceedings 
Roles: Honoree, Editor, Dedicatee
Classifications: QA76.6, 001.642
Publication Timeline
Key
Publications about  Ole-Johan Dahl Publications about Ole-Johan Dahl
Publications by  Ole-Johan Dahl Publications by Ole-Johan Dahl
posthumous Publications by Ole-Johan Dahl, published posthumously.
Most widely held works by Ole-Johan Dahl
Structured programming by Ole-Johan Dahl ( Book )
41 editions published between 1972 and 1990 in 3 languages and held by 795 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 )
12 editions published in 1996 in English and held by 309 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
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 280 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 )
9 editions published in 1992 in English and held by 173 WorldCat member libraries worldwide
Software -- Software Engineering
Common base language by Ole-Johan Dahl ( Book )
12 editions published between 1970 and 1984 in 3 languages and held by 33 WorldCat member libraries worldwide
SIMULA. A language for programming and description of descrete event systems. Introduction and user's manual by Ole-Johan Dahl ( Book )
8 editions published between 1966 and 1967 in English and Undetermined and held by 16 WorldCat member libraries worldwide
Notes on the SIMULA language by G. M Birtwistle ( Book )
2 editions published in 1969 in English and held by 9 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 7 WorldCat member libraries worldwide
Algoritmer og datastrukturer by Ole-Johan Dahl ( Book )
4 editions published between 1973 and 1978 in 3 languages and held by 6 WorldCat member libraries worldwide
Syntaks og semantikk i programmeringsspråk by Ole-Johan Dahl ( Book )
4 editions published in 1972 in 3 languages and held by 6 WorldCat member libraries worldwide
Simula implementation guide by Ole-Johan Dahl ( Book )
4 editions published in 1973 in 3 languages and held by 5 WorldCat member libraries worldwide
On introducing higher order functions in ABEL by Ole-Johan Dahl ( Book )
3 editions published between 1995 and 1996 in English and held by 5 WorldCat member libraries worldwide
Abstract: "We discuss how the 1'st order specification and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and defined functions, and to the choice between lambda expressions and currying. The paper can be regarded as an exercise in language design: how to introduce higher order functions under the restrictions enforced by (1'st order) ABEL. A technical result is a soundness proof for covariant subtype replacement, useful when implementing data types under volume constraints imposed by computer hardware."
On the use of sybtypes in ABEL by Ole-Johan Dahl ( Book )
3 editions published in 1995 in English and held by 4 WorldCat member libraries worldwide
Hoare-style parallel programming : foils for a student course, IN305 by Ole-Johan Dahl ( Book )
3 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide
Basic concepts of SIMULA, an ALGOL based simulation language by Ole-Johan Dahl ( Book )
1 edition published in 1967 in English and held by 4 WorldCat member libraries worldwide
SIMULA 67 : basic information by Ole-Johan Dahl ( Book )
2 editions published in 1969 in English and held by 4 WorldCat member libraries worldwide
Formal development with ABEL by Ole-Johan Dahl ( Book )
3 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide
SIMULA 67 common base language by Ole-Johan Dahl ( Book )
2 editions published in 1968 in English and held by 3 WorldCat member libraries worldwide
Programación estructurada by Ole-Johan Dahl ( Book )
2 editions published between 1976 and 1977 in Spanish and held by 3 WorldCat member libraries worldwide
Kōzōka puroguramingu ( Book )
2 editions published in 1975 in Japanese and held by 3 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.27 for Syntaks og ... to 1.00 for Basic conc ...)
Alternative Names
Dahl, O.-J.
Dahl, O.-J. 1931-2002
Dal, U.
Dal, U.-I.
Дал, У., 1931-
ダール, O. J
Languages
English (97)
Norwegian (5)
Russian (4)
Swedish (3)
Danish (2)
Japanese (2)
Spanish (2)
Covers