Ole-Johan Dahl

发表

Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, 1995 .

Some features of the SIMULA 67 language

Kristen Nygaard, Ole-Johan Dahl, Bjorn Myhrhaug, 1968 .

SIMULA: an ALGOL-based simulation language

Kristen Nygaard, Ole-Johan Dahl, K. Nygaard, 1966, CACM.

An Approach to Correctness Proofs of Semicoroutines

Ole-Johan Dahl, 1974, MFCS.

Verifiable programming

Ole-Johan Dahl, 1992, Prentice Hall international series in computer science.

Chapter III: Hierarchical program structures

Ole-Johan Dahl, Charles Antony Richard Hoare, C. Hoare, 1972 .

A presentation of the specification and verification project "ABEL"

Olaf Owe, Ole-Johan Dahl, 1985, SOEN.

On Introducing Higher Order Functions in ABEL

Bjørn Kristoffersen, Ole-Johan Dahl, O. Dahl, 1998, Nord. J. Comput..

The Roots of Object Orientation: The Simula Language

Ole-Johan Dahl, 2002, Software Pioneers.

IX – SIMULA Session

Kristen Nygaard, Barbara Liskov, Ole-Johan Dahl, 1981 .

SIMULA 67 common base language, (Norwegian Computing Center. Publication)

Ole-Johan Dahl, O. Dahl, 1968 .

Preliminary Report on the Specification and Programming Language Abel

Olaf Owe, Ole-Johan Dahl, Dag F. Langmyhr, 1987 .

Class and Subclass Declarations (Reprint)

Ole-Johan Dahl, Kristen Nygaard, 2002, Software Pioneers.

Monitors revisited

Ole-Johan Dahl, 1994 .

The development of the SIMULA languages

Kristen Nygaard, Ole-Johan Dahl, 1978, HOPL.

Coroutine sequencing in a block structured environment

Ole-Johan Dahl, Arne Wang, 1971 .

Time Swquences as a Tool for Describing Program Behaviour

Ole-Johan Dahl, O. Dahl, 1979, Abstract Software Specifications.

Formal Methods and the RM-ODP

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 1998 .

Generator induction in order sorted algebras

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 2005, Formal Aspects of Computing.

Object Orientation and Formal Techniques

Ole-Johan Dahl, O. Dahl, 1990, VDM Europe.

Relating a Simulation Model to an Applicative Specification

Ole-Johan Dahl, O. Dahl, 1995 .

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

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, 1996 .

The Birth of Object Orientation: the Simula Languages

Ole-Johan Dahl, 2004, Essays in Memory of Ole-Johan Dahl.

Recent Trends in Data Type Specification

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, 1996, Lecture Notes in Computer Science.

A Note on Monitor Versions

Ole-Johan Dahl, 1999 .

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl

Tom Lyche, Olaf Owe, Stein Krogdahl, 2004 .

The development of the SIMULA languages

Kristen Nygaard, Ole-Johan Dahl, K. Nygaard, 1978, SIGP.

On the definition of the telic-atelic (bounded-nonbounded) distinction

Ole-Johan Dahl, O. Dahl, 1981 .

Analysis of an algorithm for priority queue administration

Ole-Johan Dahl, Arne Jonassen, 1975 .

Subtyping and Constructive Specification

Olaf Owe, Ole-Johan Dahl, Tore J. Bastiansen, 1998, Nord. J. Comput..

Object-Oriented Specifications

Ole-Johan Dahl, O. Dahl, 1987, Research Directions in Object-Oriented Programming.

Transcript of discussant's remarks

Ole-Johan Dahl, O. Dahl, 1978, HOPL.

Formal Development with ABEL

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 1991, VDM Europe.

The simula 67 common base definition

Kristen Nygaard, Ole-Johan Dahl, Bjorn Myhrhaug, 1970 .

Programming languages as tools for the formulation of concepts

Ole-Johan Dahl, O. Dahl, 1969 .

On the use of subtypes in ABEL

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 1995 .

Value Types and Object Classes

Ole-Johan Dahl, O. Dahl, 1992 .