+612 9045 4394
From Object-Orientation to Formal Methods : Lecture Notes in Computer Science - Olaf Owe

From Object-Orientation to Formal Methods

Lecture Notes in Computer Science

By: Olaf Owe (Editor), Stein Krogdahl (Editor), Tom Lyche (Editor)

Paperback Published: May 2004
ISBN: 9783540213666
Number Of Pages: 394

Share This Book:


RRP $239.99
or 4 easy payments of $41.44 with Learn more
Ships in 7 to 10 business days

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: ``For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67.'' This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: ``The Birth of Object-Orientation: the Simula Languages.'' The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered on object-orientation and formal methods.

From the reviews:

"This festschrift is ... a fitting posthumous tribute to Dahl by close colleagues and highly respected computer scientists from around the world. ... This book will be of interest to any computer scientist who met Dahl or knows him by reputation. Anyone concerned with formal methods research will also find it a useful set of papers; all the contributors are of international calibre and many are well-known computer scientists. ... All academic libraries covering software engineering would benefit from a copy." (Jonathan Bowen, The Times Higher Education Supplement, February, 2005)

A biography of Ole-Johan Dahlp. 1
A bibliography of Ole-Johan Dahlp. 8
The birth of object orientation : the Simula languagesp. 15
An algebraic theory of actors and its application to a simple object-based languagep. 26
Towards posit & prove calculi for requirements engineering and software designp. 58
Distributed concurrent object-oriented softwarep. 83
Composing hidden information modules over inclusive institutionsp. 96
Towards the verifying compilerp. 124
Object-oriented specification and open distributed systemsp. 137
SIMULA and super-object-oriented programmingp. 165
Efficient coroutine generation of constrained gray sequencesp. 183
Consistency of inheritance in object-oriented languages and of static, ALGOL-like bindingp. 209
The power of abstraction, reuse, and simplicity : an object-oriented library for event-driven designp. 236
Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision gamesp. 272
Incremental reasoning for object oriented systemsp. 302
Pure type systems in rewriting logic : specifying typed higher-order languages in a first-order logical frameworkp. 334
Building optimal binary search trees from sorted values in O(N) timep. 376
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540213666
ISBN-10: 354021366X
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 394
Published: May 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.3 x 15.5  x 2.11
Weight (kg): 0.61