<--- Back to Details
First PageDocument Content
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
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

The Birth of Object Orientation: the Simula Languages∗ Ole-Johan Dahl JuneAbstract

Add to Reading List

Source URL: www.olejohandahl.info

Download Document from Source Website

File Size: 128,73 KB

Share Document on Facebook

Similar Documents

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

DocID: 1rPpw - View Document

Software engineering / Computing / Programming language theory / Concurrency control / Edsger W. Dijkstra / Monitor / Formal methods / Hoare logic / Event / Semaphore / Concurrent computing / Pascal

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

DocID: 1qOo7 - View Document

Software engineering / Computer programming / Subroutines / Data types / Recursion / Type theory / Programming idioms / Fold / ALGOL 68 / Subtyping / Record / Generator

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.

DocID: 1qJuN - View Document

Computer programming / Software engineering / Mathematics / Recursion / Programming idioms / Computability theory / Functions and mappings / Subroutines / Monad / Primitive recursive function / Function / Subtyping

Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

DocID: 1q22a - View Document

Type theory / Data types / Object-oriented programming / Model theory / Polymorphism / Subtyping / Type system / FO / Generic programming / Functional predicate / -recursive function / Function

Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen

DocID: 1pDlU - View Document