1![Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition](https://www.pdfsearch.io/img/3cd56845ea3ca083b5592add284d0ff1.jpg) | Add to Reading ListSource URL: folk.uio.no- Date: 2014-02-12 05:35:01
|
---|
2![A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999](https://www.pdfsearch.io/img/7985b47cb28f7b9006161598539d0807.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
3![Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June. Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June.](https://www.pdfsearch.io/img/79871a6cc058547a792cfeaa1ce30fc2.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
4![Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics](https://www.pdfsearch.io/img/d6e651d35453d630424870de7cde7442.jpg) | Add to Reading ListSource URL: folk.uio.noLanguage: English - Date: 2006-03-17 08:01:43
|
---|
5![Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen](https://www.pdfsearch.io/img/877908c7c27d9ad95805259a7126fb27.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
6![A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999](https://www.pdfsearch.io/img/5e14dabb4264b4002581bb9398bf93fd.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
7![A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway](https://www.pdfsearch.io/img/a967f9d2d2d865ff212a296804a33659.jpg) | Add to Reading ListSource URL: heim.ifi.uio.noLanguage: English - Date: 2015-09-03 07:24:29
|
---|
8![Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989](https://www.pdfsearch.io/img/b88228e44b4242699537a105d2877300.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
9![Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract](https://www.pdfsearch.io/img/20bf599f0f9b50a212cf1ef3d6bc14f2.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
10![The Birth of Object Orientation: the Simula Languages∗ Ole-Johan Dahl JuneAbstract The Birth of Object Orientation: the Simula Languages∗ Ole-Johan Dahl JuneAbstract](https://www.pdfsearch.io/img/579201b2144e54911bd74befb2aa3df5.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|