default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays in Memory of Ole-Johan Dahl 2004
- Olaf Owe
, Stein Krogdahl, Tom Lyche:
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 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-18 22:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
