Essays in Memory of Ole-Johan Dahl 2004

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

Last update Tue May 22 23:23:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page