000 | 04853nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-540-39993-3 | ||
003 | DE-He213 | ||
005 | 20240423125658.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s2004 gw | s |||| 0|eng d | ||
020 |
_a9783540399933 _9978-3-540-39993-3 |
||
024 | 7 |
_a10.1007/b96089 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aFrom Object-Orientation to Formal Methods _h[electronic resource] : _bEssays in Memory of Ole-Johan Dahl / _cedited by Olaf Owe, Stein Krogdahl, Tom Lyche. |
250 | _a1st ed. 2004. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2004. |
|
300 |
_aX, 394 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v2635 |
|
505 | 0 | _aA Biography of Ole-Johan Dahl -- A Bibliography of Ole-Johan Dahl -- The Birth of Object Orientation: the Simula Languages -- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language -- Towards Posit & Prove Calculi for Requirements Engineering and Software Design -- Distributed Concurrent Object-Oriented Software -- Composing Hidden Information Modules over Inclusive Institutions -- Towards the Verifying Compiler -- Object-Oriented Specification and Open Distributed Systems -- SIMULA and Super-Object-Oriented Programming -- Efficient Coroutine Generation of Constrained Gray Sequences -- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding -- The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design -- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games -- Incremental Reasoning for Object Oriented Systems -- Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework -- Building Optimal Binary Search Trees from Sorted Values in O(N) Time. | |
520 | _aAfter Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002. | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aCompilers (Computer programs). | |
650 | 0 | _aComputer science. | |
650 | 0 | _aMachine theory. | |
650 | 1 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aCompilers and Interpreters. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
700 | 1 |
_aOwe, Olaf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aKrogdahl, Stein. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLyche, Tom. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540213666 |
776 | 0 | 8 |
_iPrinted edition: _z9783662205556 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v2635 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/b96089 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c180561 _d180561 |