From Object-Orientation to Formal Methods

Essays in Memory of Ole-Johan Dahl

AvOlaf Owe,Stein Krogdahl

Häftad, Engelska, 2004

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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 around object-orientation and formal methods.

Produktinformation

Utgivningsdatum:2004-03-31
Mått:155 x 235 x 22 mm
Vikt:610 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:392
Upplaga:2004
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540213666

Utforska kategorier

Programvaruutveckling inom Data och IT

Recensioner i media

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)

Innehållsförteckning

A Biography of Ole-Johan Dahl.- A Bibliography of Ole-Johan Dahl.- The Birth of Object Orientation: the Simula Languages.- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.- Towards Posit & Prove Calculi for Requirements Engineering and Software Design.- Distributed Concurrent Object-Oriented Software.- Composing Hidden Information Modules over Inclusive Institutions.- Towards the Verifying Compiler.- Object-Oriented Specification and Open Distributed Systems.- SIMULA and Super-Object-Oriented Programming.- Efficient Coroutine Generation of Constrained Gray Sequences.- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.- The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.- Incremental Reasoning for Object Oriented Systems.- Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.- Building Optimal Binary Search Trees from Sorted Values in O(N) Time.