VIAF

Virtual International Authority File

Search

Dahl, Ole-Johan, 1931-2002 National Library of Norway National Library of the Czech Republic German National Library NUKAT Center of Warsaw University Library National Library of Sweden

Dahl, Ole-Johan, 1931-.... National Library of Australia Library of Congress/NACO National Diet Library, Japan Sudoc [ABES], France

Dahl, O.-J. 1931-2002 ISNI

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

Dahl, O.-J. (Ole-Johan), 1931-2002 National Library of the Netherlands

Dahl, O. J. (Ole-Johan), 1931- National Library of Latvia

VIAF ID: 110397937 (Personal)

Permalink: http://viaf.org/viaf/110397937

ISNI: 0000  0001  1497  0591 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (27)

Open Section Close SectionWorks

Title Sources
Algoritmer og datastrukturer National Library of Norway National Library of Sweden
Analysis of an algorithm for priority queue administration National Library of Norway
An approach to correctness proofs of semicoroutines National Library of Norway
Basic consepts [sic] of SIMULA, an ALGOL based simulation language National Library of Norway Library of Congress/NACO
Can program proving be made practical? National Library of Norway
Class and subclass declarations National Library of Norway
Common base language National Library of Norway National Library of the Czech Republic xR Extended Titles National Library of Sweden National Library of the Netherlands Sudoc [ABES], France
The development of the SIMULA languages National Library of Norway Library of Congress/NACO
Discrete event simulation languages. Lectures delivered at the NATO summer school, Villard-de-Lans, September 1966. Library of Congress/NACO
Formal development with ABEL National Library of Norway
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl National Library of Norway Library of Congress/NACO National Library of Sweden National Library of the Netherlands
Generator induction in order sorted algebras National Library of Norway
Important concepts in SIMULA National Library of Norway
Kozoka puroguramingu. National Diet Library, Japan
MAC textbook National Library of Norway
Monitors revisited National Library of Norway
Multiple index countings on the Ferranti Mercury computer National Library of Norway
n50041578 National Diet Library, Japan
Notes on a LIFO disciplined simplex algorithm National Library of Norway
Object orientation and formal techniques : (extended abstracts) National Library of Norway
Object oriented specification National Library of Norway
Partial correctness semantics of communicating sequential processes National Library of Norway
Preliminary report on the specification and programming language ABEL National Library of Norway
Programmer's handbook for the Ferranti mercury Computer Frederic at the Norwegian Defense Research Establishment National Library of Norway
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 National Library of Norway National Library of Sweden Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
SIMULA 67 : universal'nyj âzyk programmirovaniâ National Library of Norway National Library of the Czech Republic NUKAT Center of Warsaw University Library Sudoc [ABES], France
SIMULA : a language for programming and description of discrete event systems : introduction and user's manual National Library of Norway Library of Congress/NACO National Library of Sweden
Simula information National Library of Norway Sudoc [ABES], France
SIMULA : SIMULA tracing system National Library of Norway
SIMULA : specificationa 17 march 1964 National Library of Sweden
Specification and reasoning about discrete simulation models : a case study National Library of Norway
Structured programming National Library of Norway Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Czech Republic National Library of Latvia National Library of the Netherlands Sudoc [ABES], France
Strukturnoe programmirovanie / U. Dal, È. Dejkstra, K. Hoor. - Moskva, 1975. National Library of Norway NUKAT Center of Warsaw University Library
Syntaks og semantikk i programmeringsspråk. National Library of Norway Library of Congress/NACO National Library of Sweden
Time sequences as a tool for describing program behaviour National Library of Norway
Value types and object classes : talk presented at the 25 years Simula 67 Anniversary Conferences, Nordwijkerhout 11-12 June, 1992 and Oslo 22 June National Library of Norway
Verifiable programming National Library of Norway Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Sweden National Library of the Netherlands Sudoc [ABES], France
Симула 67 : Универсальный язык программирования Sudoc [ABES], France
Структурное программирование National Library of Latvia
構造化プログラミング National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (12)

Open Section Close Section About

Open Section Close Section History of VIAF ID:110397937 (17)