Search the dblp DataBase

Publications of Author

1. Ole-Johan Dahl
   Time Swquences as a Tool for Describing Program Behaviour. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:273-290 [Conf]
   
2. Ole-Johan Dahl
   The Birth of Object Orientation: the Simula Languages. [Citation Graph (0, 0)][DBLP]
   Essays in Memory of Ole-Johan Dahl, 2004, pp:15-25 [Conf]
   
3. Ole-Johan Dahl
   Object Orientation and Formal Techniques. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1990, pp:1-11 [Conf]
   
4. Ole-Johan Dahl, Olaf Owe
   Formal Development with ABEL. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:320-362 [Conf]
   
5. Ole-Johan Dahl
   An Approach to Correctness Proofs of Semicoroutines. [Citation Graph (0, 0)][DBLP]
   MFCS, 1974, pp:157-174 [Conf]
   
6. Ole-Johan Dahl, Kristen Nygaard
   SIMULA - an ALGOL-based simulation language. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 1966, v:9, n:9, pp:671-678 [Journal]
   
7. Olaf Owe, Ole-Johan Dahl
   Generator Induction in Order Sorted Algebras. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1991, v:3, n:1, pp:2-20 [Journal]
   
8. Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
   Subtyping and Constructive Specification. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:1, pp:- [Journal]
   
9. Bjørn Kristoffersen, Ole-Johan Dahl
   On Introducing Higher Order Functions in ABEL. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 1998, v:5, n:1, pp:- [Journal]