Ole-Johan Dahl

Publication Activity (10 Years)

Years Active: 1966-2004
Publications (10 Years): 0

Publications

Ole-Johan Dahl
The Birth of Object Orientation: the Simula Languages. Essays in Memory of Ole-Johan Dahl (2004)
Bjørn Kristoffersen, Ole-Johan Dahl
On Introducing Higher Order Functions in ABEL. Nord. J. Comput. 5 (1) (1998)
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
Subtyping and Constructive Specification. Nord. J. Comput. 5 (1) (1998)
Ole-Johan Dahl, Olaf Owe
Formal Development with ABEL. VDM Europe (2) (1991)
Olaf Owe, Ole-Johan Dahl
Generator Induction in Order Sorted Algebras. Formal Aspects Comput. 3 (1) (1991)
Ole-Johan Dahl
Object Orientation and Formal Techniques. VDM Europe (1990)
Ole-Johan Dahl
Object-oriented specification (abstract only). ACM SIGPLAN Notices 21 (10) (1986)
Ole-Johan Dahl, Olaf Owe
A presentation of the specification and verification project "ABEL". ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Ole-Johan Dahl
Time Swquences as a Tool for Describing Program Behaviour. Abstract Software Specifications (1979)
Kristen Nygaard, Ole-Johan Dahl
The development of the SIMULA languages. ACM SIGPLAN Notices 13 (8) (1978)
Ole-Johan Dahl
Transcript of discussant's remarks. HOPL (1978)
Kristen Nygaard, Ole-Johan Dahl
The development of the SIMULA languages. HOPL (1978)
Ole-Johan Dahl
An Approach to Correctness Proofs of Semicoroutines. MFCS (1974)
Ole-Johan Dahl, Kristen Nygaard
SIMULA - an ALGOL-based simulation language. Commun. ACM 9 (9) (1966)