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.
ANNA A Language for Annotating Ada Programs [[electronic resource] ] : Reference Manual / / by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
| ANNA A Language for Annotating Ada Programs [[electronic resource] ] : Reference Manual / / by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe |
| Autore | Luckham David C |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (V, 148 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-47202-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Basic Anna concepts -- 2. Lexical elements -- 3. Annotations of declarations and types -- 4. Names and expressions in annotations -- 5. Statement annotations -- 6. Annotation of subprograms -- 7. Package annotations -- 8. Visibility rules in annotations -- 9. Task annotations -- 10. Program structure -- 11. Exception annotations -- 12. Annotation of generic units -- 13. Annotation of emplementation-dependent features. |
| Record Nr. | UNISA-996465705703316 |
Luckham David C
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl / / edited by Olaf Owe, Stein Krogdahl, Tom Lyche
| From Object-Orientation to Formal Methods : 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 | ||
| ||
Fundamentals of Computation Theory [[electronic resource] ] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings / / edited by Olaf Owe, Martin Steffen, Jan Arne Telle
| Fundamentals of Computation Theory [[electronic resource] ] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings / / edited by Olaf Owe, Martin Steffen, Jan Arne Telle |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 373 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Computer science—Mathematics Discrete mathematics Theory of Computation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Mathematics of Computing Discrete Mathematics in Computer Science |
| ISBN | 3-642-22953-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The rewriting logic semantics project: a progress report / José Meseguer, Grigore Roşu -- Impugning randomness, convincingly / Yuri Gurevich -- Kernelization: an overview / Daniel Lokshtanov. |
| Record Nr. | UNISA-996465891503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Data Type Specification [[electronic resource] ] : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers / / edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
| Recent Trends in Data Type Specification [[electronic resource] ] : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers / / edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (X, 558 p.) |
| Disciplina | 005.7/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Theory of Computation Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-70642-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Seven years of COMPASS -- Inductively defined relations: A brief tutorial extended abstract -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge for computing science -- The larch shared language: Some open problems -- The lambda calculus as an abstract data type -- Unifying theories in different institutions -- Interchange format for inter-operability of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class-sort polymorphism in GLIDER -- Deontic concepts in the algebraic specification of dynamic systems: The permission case -- Reification — Changing viewpoint but preserving truth -- A category-based equational logic semantics to constraint programming -- Concurrent state transformations on abstract data types -- A view on implementing processes: Categories of circuits -- Combining algebraic and set-theoretic specifications -- Minimal term rewriting systems -- InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations -- Rewriting and reasoning with set-relations II: The non-ground case completeness -- Termination of curryfied rewrite systems -- Formal specifications and test: Correctness and oracle -- Behavioural equivalence, bisimulation, and minimal realisation -- Using limits of parchments to systematically construct institutions of partial algebras -- Behavioural specifications in type theory -- Swinging data types -- Context institutions -- Object-oriented functional programming and type reconstruction -- Moving between logical systems -- Modular algebraic specifications and the orientation of equations into rewrite rules -- A model for I/O in equational languages with don't care non-determinism -- Tool design for structuring mechanisms for algebraic specification languages with initial semantics. |
| Record Nr. | UNISA-996465666503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||