Skip to main content
SpringerLink
Log in

From Object-Orientation to Formal Methods

Essays in Memory of Ole-Johan Dahl

  • Book
  • © 2004

Overview

Editors:
  1. Olaf Owe

    1. Dept. of Informatics, University of Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stein Krogdahl

    1. Dept. of Informatics, Univ. of Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tom Lyche

    1. Department of Informatics, University of Oslo,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2635)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Download chapter PDF

  2. A Biography of Ole-Johan Dahl

    • Olaf Owe, Stein Krogdahl, Tom Lyche
    Pages 1-7

  3. A Bibliography of Ole-Johan Dahl

    • Olaf Owe, Stein Krogdahl, Tom Lyche
    Pages 8-14

  4. The Birth of Object Orientation: the Simula Languages

    • Ole-Johan Dahl
    Pages 15-25

  5. An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

    • Gul Agha, Prasanna Thati
    Pages 26-57

  6. Towards Posit & Prove Calculi for Requirements Engineering and Software Design

    • Dines Bjørner
    Pages 58-82

  7. Distributed Concurrent Object-Oriented Software

    • Manfred Broy
    Pages 83-95

  8. Composing Hidden Information Modules over Inclusive Institutions

    • Joseph Goguen, Grigore Roşu
    Pages 96-123

  9. Towards the Verifying Compiler

    • Tony Hoare
    Pages 124-136

  10. Object-Oriented Specification and Open Distributed Systems

    • Einar Broch Johnsen, Olaf Owe
    Pages 137-164

  11. SIMULA and Super-Object-Oriented Programming

    • Eugene Kindler
    Pages 165-182

  12. Efficient Coroutine Generation of Constrained Gray Sequences

    • Donald E. Knuth, Frank Ruskey
    Pages 183-208

  13. Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding

    • Hans Langmaack
    Pages 209-235

  14. The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design

    • Bertrand Meyer
    Pages 236-271

  15. Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games

    • Michel Sintzoff
    Pages 272-301

  16. Incremental Reasoning for Object Oriented Systems

    • Neelam Soundarajan, Stephen Fridella
    Pages 302-333

  17. Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

    • Mark-Oliver Stehr, José Meseguer
    Pages 334-375

  18. Building Optimal Binary Search Trees from Sorted Values in O(N) Time

    • Jean G. Vaucher
    Pages 376-388

  19. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.

Reviews

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)

Editors and Affiliations

  • Dept. of Informatics, University of Oslo, Norway

    Olaf Owe

  • Dept. of Informatics, Univ. of Oslo, Norway

    Stein Krogdahl

  • Department of Informatics, University of Oslo,  

    Tom Lyche

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation