From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl,9783540213666

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by ; ;
ISBN13: 9783540213666
ISBN10: 354021366X
Format: Paperback
Pub. Date: 2004-04-30
Publisher(s): Springer-Verlag New York Inc
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $103.95

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
$42.90
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $56.82

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

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.

Table of Contents

A Biography of Ole-Johan Dahl 1(7)
Olaf Owe, Stein Krogdahl, and Tom Lyche
A Bibliography of Ole-Johan Dahl 8(7)
Olaf Owe, Stein Krogdahl, and Tom Lyche
The Birth of Object Orientation: the Simula Languages 15(11)
Ole-Johan Dahl
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language 26(32)
Gul Agha and Prasanna Thati
Towards Posit & Prove Calculi for Requirements Engineering and Software Design 58(25)
Dines Bjorner
Distributed Concurrent Object-Oriented Software 83(13)
Manfred Broy
Composing Hidden Information Modules over Inclusive Institutions 96(28)
Joseph Goguen and Grigore Roqu
Towards the Verifying Compiler 124(13)
Tony Hoare
Object-Oriented Specification and Open Distributed Systems 137(28)
Einar Broch Johnsen and Olaf Owe
SIMULA and Super-Object-Oriented Programming 165(18)
Eugene Kindler
Efficient Coroutine Generation of Constrained Gray Sequences 183(26)
Donald E. Knuth and Frank Ruskey
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding 209(27)
Hans Langmaack
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design 236(36)
Bertrand Meyer
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games 272(30)
Michel Sintzoff
Incremental Reasoning for Object Oriented Systems 302(32)
Neelam Soundarajan and Stephen Fridella
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework 334(42)
Mark-Oliver Stehr and José Meseguer
Building Optimal Binary Search Trees from Sorted Values in O(N) Time 376(13)
Jean G. Voucher
Author Index 389

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.