VIAF

Virtual International Authority File

Search

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

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

Dahl, O.-J. 1931-2002 ISNI

Ole-Johan Dahl Computer scientist 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: https://viaf.org/viaf/110397937

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Algoritmer og datastrukturer BIBSYS National Library of Norway National Library of Sweden
Analysis of an algorithm for priority queue administration BIBSYS National Library of Norway
An approach to correctness proofs of semicoroutines BIBSYS National Library of Norway
Basic concepts of Simula : an Algol based simulation language BIBSYS Library of Congress/NACO National Library of Norway
Can program proving be made practical? BIBSYS National Library of Norway
Class and subclass declarations BIBSYS National Library of Norway
Common base language BIBSYS National Library of Norway National Library of Sweden National Library of the Netherlands Sudoc [ABES], France
Decomposition and classification in programming languages BIBSYS National Library of Norway
The development of the Simula languages BIBSYS National Library of Norway
Discrete event simulation languages. Lectures delivered at the NATO summer school, Villard-de-Lans, September 1966. Library of Congress/NACO
Eventyret om Kristen Nygaard og Simula BIBSYS
Explanations to the multiplex programme BIBSYS
Forelesninger i DB 2 BIBSYS
Formal development with ABEL BIBSYS National Library of Norway
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl BIBSYS Library of Congress/NACO National Library of Israel National Library of Norway National Library of the Netherlands National Library of Sweden
Generator induction in order sorted algebras BIBSYS National Library of Norway
History of Programming Languages : program: Simula : conference, Los Angeles, June 1978 BIBSYS
Hoare-style parallel programming : foils for a student course, IN305 BIBSYS
Important concepts in SIMULA BIBSYS National Library of Norway
Innstilling om valg av elektronisk regneanlegg BIBSYS
The KCIN Algol 60 implementation : object program and central run system BIBSYS
Kompendium til DB-2 (maskinspråk og operasjonssystem) BIBSYS
Kozoka puroguramingu. National Diet Library, Japan
Listestrukturer : Kap.7. fra kompendium "Ikke-numeriske metoder" BIBSYS
Litt om symbolbruken i Algol BIBSYS
Mac bulletin IV BIBSYS
MAC textbook BIBSYS National Library of Norway
Mixed linear and quadratic programming by the multiplex method NUKAT Center of Warsaw University Library
Monitors and concurrent Pascal : a personal history BIBSYS
Monitors revisited BIBSYS National Library of Norway
Multiple index countings on the Ferranti Mercury computer BIBSYS National Library of Norway
n50041578 National Diet Library, Japan
The NDRE test programme BIBSYS
A note on monitor versions BIBSYS
Notes on a LIFO disciplined simplex algorithm BIBSYS National Library of Norway
Object orientation and formal techniques : (extended abstracts) BIBSYS National Library of Norway
Object oriented specification BIBSYS National Library of Norway
On introducing higher order functions in ABEL BIBSYS
On the use of subtypes in ABEL BIBSYS
Partial correctness semantics of communicating sequential processes BIBSYS National Library of Norway
Program specification and verification techniques BIBSYS National Library of Norway
Programmer's handbook for the Ferranti mercury Computer Frederic at the Norwegian Defense Research Establishment BIBSYS National Library of Norway
Programming discipline BIBSYS
Programming languages as tools for the formulation of concepts BIBSYS
Proposals for consideration BIBSYS
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 BIBSYS National Library of Sweden Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Norway Sudoc [ABES], France
Runtime organisasjon for Algol/Simula BIBSYS
SIMULA 67 : basic information BIBSYS National Library of Norway
SIMULA 67 : common base proposal BIBSYS
Simula 67 : pre-definition papers BIBSYS
Simula 67 : universal'nyj jazyk programmirovanija BIBSYS National Library of the Czech Republic Sudoc [ABES], France National Library of Norway NUKAT Center of Warsaw University Library
SIMULA : a language for programming and description of discrete event systems : introduction and user's manual BIBSYS Library of Congress/NACO National Library of Israel National Library of Norway National Library of Sweden
SIMULA implementation guide BIBSYS National Library of Norway Sudoc [ABES], France
The SIMULA project : technical progress report, 1. July 1964 BIBSYS
SIMULA : SIMULA tracing system BIBSYS National Library of Norway
SIMULA : specificationa 17 march 1964 National Library of Sweden
Solution of small systems of linear equations BIBSYS
Specification and reasoning about discrete simulation models : a case study BIBSYS National Library of Norway
Strictness control in term rewriting BIBSYS
Structured programming BIBSYS Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Norway National Library of the Czech Republic National Library of Latvia National Library of the Netherlands Sudoc [ABES], France
Strukturált programozás BIBSYS
Subtyping and constructive specification BIBSYS
Syntaks og semantikk i programmeringsspråk BIBSYS Library of Congress/NACO National Library of Norway National Library of Sweden
Time sequences as a tool for describing program behaviour BIBSYS 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 BIBSYS National Library of Norway
Verifiable programming BIBSYS Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Norway National Library of Sweden National Library of the Netherlands Sudoc [ABES], France
Структурное программирование National Library of Latvia
構造化プログラミング National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (13)

Open Section Close Section About

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