WorldCat Identities

Dahl, Ole-Johan 1931-

Overview
Works: 72 works in 267 publications in 7 languages and 1,908 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Honoree, Editor
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 )

50 editions published between 1972 and 1990 in English and Undetermined and held by 768 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 )

13 editions published in 1996 in English and held by 374 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 328 WorldCat member libraries worldwide

After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and talked about making a "Festschrift" in his honor. When Donald Knuth took the initiative by sending us the?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan, who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002
Verifiable programming by Ole-Johan Dahl( Book )

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

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

12 editions published between 1970 and 1982 in 4 languages and held by 30 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 )

13 editions published between 1966 and 1967 in English and held by 20 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 13 WorldCat member libraries worldwide

Strukturnoe programmirovanie by Ole-Johan Dahl( Book )

5 editions published in 1975 in Russian and held by 11 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

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

7 editions published between 1976 and 1977 in Spanish 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

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

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 introducing higher order functions in ABEL by Ole-Johan Dahl( Book )

4 editions published between 1995 and 1996 in English and held by 6 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."
Common base language by Ole-Johan Dahl( Book )

4 editions published between 1982 and 1984 in English and held by 6 WorldCat member libraries worldwide

A presentation of the specification and verification project "ABEL." by Universitetet i Oslo( Book )

5 editions published between 1984 and 1985 in English and Norwegian and held by 5 WorldCat member libraries worldwide

Formal development with ABEL by Ole-Johan Dahl( Book )

4 editions published in 1991 in English and held by 5 WorldCat member libraries worldwide

Generator induction in order sorted algebras by Ole-Johan Dahl( Book )

3 editions published in 1989 in English and Undetermined and held by 5 WorldCat member libraries worldwide

Abstract: "Linguistic and semantic cosequences of combining the ideas of order sorted algebras (as in OBJ) and generator induction (as in LARCH) are investigated. It is found that one can gain the advantages of both, in addition to increased flexibility in defining signatures and generator bases. Our treatment also gives rise to typing control stronger in a certain sense than that of OBJ, as well as the detection of inherently inconsistent signatures."
Object oriented specification by Ole-Johan Dahl( Book )

3 editions published in 1987 in English and Undetermined and held by 5 WorldCat member libraries worldwide

SIMULA 67 common base language by Ole-Johan Dahl( Book )

4 editions published in 1968 in English and held by 5 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.66 (from 0.57 for Structured ... to 0.95 for Algoritmer ...)

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
From 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