Ole-Johan Dahl - PDFSEARCH.IO - Document Search Engine

Ole-Johan Dahl
Results: 20

#	Item
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 Add to Reading List Source 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 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
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. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Subroutines Data types Recursion Type theory Programming idioms Fold ALGOL 68 Subtyping Record Generator
4	Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics Add to Reading List Source URL: folk.uio.no Language: English - Date: 2006-03-17 08:01:43 Computer programming Software engineering Mathematics Recursion Programming idioms Computability theory Functions and mappings Subroutines Monad Primitive recursive function Function Subtyping
5	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
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 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
7	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2015-09-03 07:24:29 Model theory First-order logic Type Hoare logic Unification
8	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
9	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Data types Subroutines Recursion Procedural programming languages Cross-platform software Fold Stack ALGOL 68 Pointer Lua Go Record
10	The Birth of Object Orientation: the Simula Languages∗ Ole-Johan Dahl JuneAbstract Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Object-oriented programming languages Procedural programming languages Turing Award laureates Simula Ole-Johan Dahl Programming paradigms Object-oriented programming Kristen Nygaard ALGOL BETA CLU Objective-C