Essays in Memory of Ole-Johan Dahl 2004

Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science 2635 Springer 2004, ISBN 3-540-21366-X BibTeX

@proceedings{DBLP:conf/birthday/2004dahl,
  editor    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {From Object-Orientation to Formal Methods, Essays in Memory of
               Ole-Johan Dahl},
  booktitle = {Essays in Memory of Ole-Johan Dahl},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2635},
  year      = {2004},
  isbn      = {3-540-21366-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Olaf Owe, Stein Krogdahl, Tom Lyche:
A Biography of Ole-Johan Dahl. 1-7
Electronic Edition (link) BibTeX
Olaf Owe, Stein Krogdahl, Tom Lyche:
A Bibliography of Ole-Johan Dahl. 8-14
Electronic Edition (link) BibTeX
Ole-Johan Dahl:
The Birth of Object Orientation: the Simula Languages. 15-25
Electronic Edition (link) BibTeX
Gul Agha, Prasanna Thati:
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. 26-57
Electronic Edition (link) BibTeX
Dines Bjørner:
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. 58-82
Electronic Edition (link) BibTeX
Manfred Broy:
Distributed Concurrent Object-Oriented Software. 83-95
Electronic Edition (link) BibTeX
Joseph A. Goguen, Grigore Rosu:
Composing Hidden Information Modules over Inclusive Institutions. 96-123
Electronic Edition (link) BibTeX
C. A. R. Hoare:
Towards the Verifying Compiler. 124-136
Electronic Edition (link) BibTeX
Einar Broch Johnsen, Olaf Owe:
Object-Oriented Specification and Open Distributed Systems. 137-164
Electronic Edition (link) BibTeX
Eugene Kindler:
SIMULA and Super-Object-Oriented Programming. 165-182
Electronic Edition (link) BibTeX
Donald E. Knuth, Frank Ruskey:
Efficient Coroutine Generation of Constrained Gray Sequences. 183-208
Electronic Edition (link) BibTeX
Hans Langmaack:
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. 209-235
Electronic Edition (link) BibTeX
Bertrand Meyer:
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. 236-271
Electronic Edition (link) BibTeX
Michel Sintzoff:
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. 272-301
Electronic Edition (link) BibTeX
Neelam Soundarajan, Stephen Fridella:
Incremental Reasoning for Object Oriented Systems. 302-333
Electronic Edition (link) BibTeX
Mark-Oliver Stehr, José Meseguer:
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. 334-375
Electronic Edition (link) BibTeX
Jean G. Vaucher:
Building Optimal Binary Search Trees from Sorted Values in O(N) Time. 376-388
Electronic Edition (link) BibTeX