Abstract is missing.
- A Biography of Ole-Johan DahlOlaf Owe, Stein Krogdahl, Tom Lyche. 1-7 [doi]
- A Bibliography of Ole-Johan DahlOlaf Owe, Stein Krogdahl, Tom Lyche. 8-14 [doi]
- The Birth of Object Orientation: the Simula LanguagesOle-Johan Dahl. 15-25 [doi]
- An Algebraic Theory of Actors and Its Application to a Simple Object-Based LanguageGul Agha, Prasanna Thati. 26-57 [doi]
- Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan DahlDines Bjørner. 58-82 [doi]
- Distributed Concurrent Object-Oriented SoftwareManfred Broy. 83-95 [doi]
- Composing Hidden Information Modules over Inclusive InstitutionsJoseph A. Goguen, Grigore Rosu. 96-123 [doi]
- Towards the Verifying CompilerC. A. R. Hoare. 124-136 [doi]
- Object-Oriented Specification and Open Distributed SystemsEinar Broch Johnsen, Olaf Owe. 137-164 [doi]
- SIMULA and Super-Object-Oriented ProgrammingEugene Kindler. 165-182 [doi]
- Efficient Coroutine Generation of Constrained Gray SequencesDonald E. Knuth, Frank Ruskey. 183-208 [doi]
- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like BindingHans Langmaack. 209-235 [doi]
- The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven DesignBertrand Meyer. 236-271 [doi]
- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision GamesMichel Sintzoff. 272-301 [doi]
- Incremental Reasoning for Object Oriented SystemsNeelam Soundarajan, Stephen Fridella. 302-333 [doi]
- Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical FrameworkMark-Oliver Stehr, José Meseguer. 334-375 [doi]
- Building Optimal Binary Search Trees from Sorted Values in O(N) TimeJean G. Vaucher. 376-388 [doi]