Ole-Johan Dahl profile picture

Ole-Johan Dahl

From Object-Orientation to Formal Methods
Structured Programming
Preliminary Report on the Specification and Programming Language ABEL
Verifiable programming
Co- and Contravariance in Functional Subtypes Contributions to IFIP WG2.3 June 1994
Syntaks og semantikk i programmeringsspråk
Time Sequences as a Tool for Describing Program Behaviour
Verifiable Programming (Prentice-hall International Series in Computer Science)
Specification and Reasoning about Discrete Simulation Models: a Case Study
Value Types and Object Classes
An Approach to Correctness Proofs of Semicoroutines
Object Oriented Specification
On the Use of Subtypes in ABEL Revised Version
Generator Induction in Order Sorted Algebras
The Development of the SIMULA Languages

See All