Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
From Object-Orientation to Formal Methods [[electronic resource] ] : Essays in Memory of Ole-Johan Dahl / / edited by Olaf Owe, Stein Krogdahl, Tom Lyche
| From Object-Orientation to Formal Methods [[electronic resource] ] : Essays in Memory of Ole-Johan Dahl / / edited by Olaf Owe, Stein Krogdahl, Tom Lyche |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 394 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-39993-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A 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. |
| Record Nr. | UNINA-9910144204603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Object-Orientation to Formal Methods [[electronic resource] ] : Essays in Memory of Ole-Johan Dahl / / edited by Olaf Owe, Stein Krogdahl, Tom Lyche
| From Object-Orientation to Formal Methods [[electronic resource] ] : Essays in Memory of Ole-Johan Dahl / / edited by Olaf Owe, Stein Krogdahl, Tom Lyche |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 394 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-39993-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A 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. |
| Record Nr. | UNISA-996465533903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||