C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Essays in Memory of Ole-Johan Dahl
2004
2004
2004
Keyphrases
Publications
2004
Dines Bjørner
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
(2004)
Jean G. Vaucher
Building Optimal Binary Search Trees from Sorted Values in O(N) Time.
Essays in Memory of Ole-Johan Dahl
(2004)
Mark-Oliver Stehr
,
José Meseguer
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.
Essays in Memory of Ole-Johan Dahl
(2004)
Joseph A. Goguen
,
Grigore Rosu
Composing Hidden Information Modules over Inclusive Institutions.
Essays in Memory of Ole-Johan Dahl
(2004)
Gul Agha
,
Prasanna Thati
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.
Essays in Memory of Ole-Johan Dahl
(2004)
Manfred Broy
Distributed Concurrent Object-Oriented Software.
Essays in Memory of Ole-Johan Dahl
(2004)
Donald E. Knuth
,
Frank Ruskey
Efficient Coroutine Generation of Constrained Gray Sequences.
Essays in Memory of Ole-Johan Dahl
(2004)
Hans Langmaack
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.
Essays in Memory of Ole-Johan Dahl
(2004)
Einar Broch Johnsen
,
Olaf Owe
Object-Oriented Specification and Open Distributed Systems.
Essays in Memory of Ole-Johan Dahl
(2004)
C. A. R. Hoare
Towards the Verifying Compiler.
Essays in Memory of Ole-Johan Dahl
(2004)
Neelam Soundarajan
,
Stephen Fridella
Incremental Reasoning for Object Oriented Systems.
Essays in Memory of Ole-Johan Dahl
(2004)
Olaf Owe
,
Stein Krogdahl
,
Tom Lyche
A Biography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
(2004)
Eugene Kindler
SIMULA and Super-Object-Oriented Programming.
Essays in Memory of Ole-Johan Dahl
(2004)
Michel Sintzoff
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.
Essays in Memory of Ole-Johan Dahl
(2004)
Bertrand Meyer
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.
Essays in Memory of Ole-Johan Dahl
(2004)
Ole-Johan Dahl
The Birth of Object Orientation: the Simula Languages.
Essays in Memory of Ole-Johan Dahl
(2004)
Olaf Owe
,
Stein Krogdahl
,
Tom Lyche
A Bibliography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
(2004)
volume 2635, 2004
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl
Essays in Memory of Ole-Johan Dahl
2635 (2004)