Dahl, Ole-Johan, 1931-2002
Dahl, Ole-Johan, 1931-
Dahl, Ole-Johan
Ole-Johan Dahl
Dahl, O.-J. 1931-2002
Dahl, O. J. (Ole-Johan), 1931-
Dahl, O.-J. (Ole-Johan), 1931-2002
VIAF ID: 110397937 ( Personal )
Permalink: http://viaf.org/viaf/110397937
Preferred Forms
-
-
- 100 1 _ ‡a Dahl, O.-J. ‡d 1931-2002
-
-
-
- 100 1 _ ‡a Dahl, Ole-Johan
-
-
-
- 100 1 _ ‡a Dahl, Ole-Johan ‡d 1931-2002
- 100 1 _ ‡a Dahl, Ole-Johan, ‡d 1931-
- 100 1 _ ‡a Dahl, Ole-Johan, ‡d 1931-
-
-
-
-
- 100 1 _ ‡a Dahl, Ole-Johan, ‡d 1931-2002
- 100 1 _ ‡a Dahl, Ole-Johan, ‡d 1931-2002
- 100 0 _ ‡a Ole-Johan Dahl
4xx's: Alternate Name Forms (43)
Works
Title | Sources |
---|---|
Algoritmer og datastrukturer | |
Analysis of an algorithm for priority queue administration | |
An approach to correctness proofs of semicoroutines | |
Can program proving be made practical? | |
Class and subclass declarations | |
Common base language : [SIMULA 67] | |
Common base proposal | |
Decomposition and classification in programming languages | |
The development of the Simula languages | |
Discrete event simulation languages. Lectures delivered at the NATO summer school, Villard-de-Lans, September 1966. | |
Explanations to the multiplex programme | |
Forelesninger i DB 2 | |
Formal development with ABEL | |
From object orientation to formal methods essays in memory of Ole-Johan Dahl | |
Generator induction in order sorted algebras | |
History of Programming Languages : program: Simula : conference, Los Angeles, June 1978 | |
Important concepts in SIMULA | |
The KCIN Algol 60 implementation : object program and central run system | |
Kompendium til DB-2 (maskinspråk og operasjonssystem) | |
Kozoka puroguramingu. | |
Listestrukturer : Kap.7. fra kompendium "Ikke-numeriske metoder" | |
Litt om symbolbruken i Algol | |
Mac bulletin IV | |
MAC textbook | |
Mixed linear and quadratic programming by the multiplex method | |
Monitors and concurrent Pascal : a personal history | |
Monitors revisited | |
Multiple index countings on the Ferranti Mercury computer | |
n50041578 | |
The NDRE test programme | |
A note on monitor versions : essay in the honour of C.A.R. Hoare | |
Notes on a LIFO disciplined simplex algorithm | |
Object orientation and formal techniques : (extended abstracts) | |
Object-oriented specification | |
On introducing higher order functions in ABEL | |
On the use of subtypes in ABEL | |
Partial correctness semantics of communicating sequential processes | |
Program specification and verification techniques | |
Programmer's handbook for the Ferranti mercury Computer Frederic at the Norwegian Defense Research Establishment | |
Programming discipline | |
Programming languages as tools for the formulation of concepts | |
Proposals for consideration | |
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 | |
Runtime organisasjon for Algol/Simula | |
SIMULA 67 : basic information | |
Simula 67 : pre-definition papers | |
Simula 67 : universal'nyj jazyk programmirovanija | |
SIMULA : a language for programming and description of discrete event systems : introduction and user's manual | |
Simula begin | |
SIMULA implementation guide | |
The SIMULA project : technical progress report, 1. July 1964 | |
SIMULA : SIMULA tracing system | |
SIMULA : specificationa 17 march 1964 | |
Solution of small systems of linear equations | |
Specification and reasoning about discrete simulation models : a case study | |
Strictness control in term rewriting | |
Structured programming | |
Strukturált programozás | |
Strukturnoe programmirovanie / U. Dal, È. Dejkstra, K. Hoor. - Moskva, 1975. | |
Subtyping and constructive specification | |
Syntaks og semantikk i programmeringsspråk. | |
Time sequences as a tool for describing program behaviour | |
Value types and object classes : talk presented at the 25 years Simula 67 Anniversary Conferences, Nordwijkerhout 11-12 June, 1992 and Oslo 22 June | |
Verifiable programming | |
Структурное программирование | |
構造化プログラミング |