The SCEAS System
Navigation Menu

Conferences in DBLP

Birthday ... (birthday)
2004 (conf/birthday/2004dahl)

  1. Olaf Owe, Stein Krogdahl, Tom Lyche
    A Biography of Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:1-7 [Conf]
  2. Olaf Owe, Stein Krogdahl, Tom Lyche
    A Bibliography of Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:8-14 [Conf]
  3. Ole-Johan Dahl
    The Birth of Object Orientation: the Simula Languages. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:15-25 [Conf]
  4. Gul Agha, Prasanna Thati
    An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:26-57 [Conf]
  5. Dines Bjørner
    Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:58-82 [Conf]
  6. Manfred Broy
    Distributed Concurrent Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:83-95 [Conf]
  7. Joseph A. Goguen, Grigore Rosu
    Composing Hidden Information Modules over Inclusive Institutions. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:96-123 [Conf]
  8. C. A. R. Hoare
    Towards the Verifying Compiler. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:124-136 [Conf]
  9. Einar Broch Johnsen, Olaf Owe
    Object-Oriented Specification and Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:137-164 [Conf]
  10. Eugene Kindler
    SIMULA and Super-Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:165-182 [Conf]
  11. Donald E. Knuth, Frank Ruskey
    Efficient Coroutine Generation of Constrained Gray Sequences. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:183-208 [Conf]
  12. Hans Langmaack
    Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:209-235 [Conf]
  13. Bertrand Meyer
    The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:236-271 [Conf]
  14. Michel Sintzoff
    Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:272-301 [Conf]
  15. Neelam Soundarajan, Stephen Fridella
    Incremental Reasoning for Object Oriented Systems. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:302-333 [Conf]
  16. Mark-Oliver Stehr, José Meseguer
    Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:334-375 [Conf]
  17. Jean G. Vaucher
    Building Optimal Binary Search Trees from Sorted Values in O(N) Time. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:376-388 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002