dblp.uni-trier.dewww.uni-trier.de

Ole-Johan Dahl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2004
11EEOle-Johan Dahl: The Birth of Object Orientation: the Simula Languages. Essays in Memory of Ole-Johan Dahl 2004: 15-25
1998
10 Bjørn Kristoffersen, Ole-Johan Dahl: On Introducing Higher Order Functions in ABEL. Nord. J. Comput. 5(1): (1998)
9 Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen: Subtyping and Constructive Specification. Nord. J. Comput. 5(1): (1998)
1996
8 Magne Haveraaen, Olaf Owe, Ole-Johan Dahl: 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 Springer 1996
1991
7 Ole-Johan Dahl, Olaf Owe: Formal Development with ABEL. VDM Europe (2) 1991: 320-362
6 Olaf Owe, Ole-Johan Dahl: Generator Induction in Order Sorted Algebras. Formal Asp. Comput. 3(1): 2-20 (1991)
1990
5 Ole-Johan Dahl: Object Orientation and Formal Techniques. VDM Europe 1990: 1-11
1987
4 Ole-Johan Dahl: Object-Oriented Specifications. Research Directions in Object-Oriented Programming 1987: 561-576
1979
3 Ole-Johan Dahl: Time Swquences as a Tool for Describing Program Behaviour. Abstract Software Specifications 1979: 273-290
1974
2 Ole-Johan Dahl: An Approach to Correctness Proofs of Semicoroutines. MFCS 1974: 157-174
1966
1EEOle-Johan Dahl, Kristen Nygaard: SIMULA - an ALGOL-based simulation language. Commun. ACM 9(9): 671-678 (1966)

Coauthor Index

1Tore J. Bastiansen [9]
2Magne Haveraaen [8]
3Bjørn Kristoffersen [10]
4Kristen Nygaard [1]
5Olaf Owe [6] [7] [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)