Info
Aliasing in Object-Oriented Programming [[electronic resource] ] : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble
| Aliasing in Object-Oriented Programming [[electronic resource] ] : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 515 p. 134 illus.) : digital |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Operating systems (Computers) Software engineering Programming languages (Electronic computers) Computers Programming Techniques Operating Systems Software Engineering Programming Languages, Compilers, Interpreters History of Computing |
| ISBN | 3-642-36946-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. . |
| Record Nr. | UNISA-996465604303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aliasing in Object-Oriented Programming : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble
| Aliasing in Object-Oriented Programming : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 515 p. 134 illus.) : digital |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Operating systems (Computers) Software engineering Programming languages (Electronic computers) Computers Programming Techniques Operating Systems Software Engineering Programming Languages, Compilers, Interpreters History of Computing |
| ISBN | 3-642-36946-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. . |
| Record Nr. | UNINA-9910739420403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ASWEC 2010 : 21st Australian Software Engineering Conference : proceedings : 6-9 April 2010, Auckland, New Zealand
| ASWEC 2010 : 21st Australian Software Engineering Conference : proceedings : 6-9 April 2010, Auckland, New Zealand |
| Pubbl/distr/stampa | [Place of publication not identified], : Conference Pub Services IEEE Computer Society, 2010 |
| Soggetto topico |
Software engineering
Engineering & Applied Sciences Computer Science |
| ISBN |
9781424464760
1424464765 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139108903321 |
| [Place of publication not identified], : Conference Pub Services IEEE Computer Society, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ECOOP 2012 -- Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / / edited by James Noble
| ECOOP 2012 -- Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / / edited by James Noble |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 766 p. 101 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer communication systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-642-31057-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ECOOP'12 |
| Record Nr. | UNISA-996465287703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ECOOP 2012--object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings / / James Noble (ed.)
| ECOOP 2012--object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings / / James Noble (ed.) |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Heidelberg ; ; New York, : Springer, c2012 |
| Descrizione fisica | 1 online resource (XIV, 766 p. 101 illus.) |
| Disciplina | 005.1/17 |
| Altri autori (Persone) | NobleJames <1967-> |
| Collana |
Lecture notes in computer science
LNCS sublibrary |
| Soggetto topico |
Object-oriented programming (Computer science)
Object-oriented methods (Computer science) |
| ISBN | 3-642-31057-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510602503321 |
| Heidelberg ; ; New York, : Springer, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2006 International Symposium on Wikis
| Proceedings of the 2006 International Symposium on Wikis |
| Autore | Riehle Dirk |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (144 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Telecommunications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | WikiSym '06 |
| Record Nr. | UNINA-9910376482603321 |
Riehle Dirk
|
||
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 5th Symposium on Dynamic Languages
| Proceedings of the 5th Symposium on Dynamic Languages |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2009 |
| Descrizione fisica | 1 online resource (118 pages) |
| Altri autori (Persone) | NobleJames <1967-> |
| Collana | ACM Conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | DLS '09 |
| Record Nr. | UNINA-9910376066503321 |
| [Place of publication not identified] : , : Association for Computing Machinery, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Pattern Languages of Programming I [[electronic resource] /] / edited by James Noble, Ralph Johnson
| Transactions on Pattern Languages of Programming I [[electronic resource] /] / edited by James Noble, Ralph Johnson |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 234 p.) |
| Disciplina | 005.1 |
| Collana | Transactions on Pattern Languages of Programming |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer organization Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Management of Computing and Information Systems |
| ISBN |
1-280-38535-9
9786613563279 3-642-10832-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Pattern Language for Extensible Program Representation -- Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction -- Design Patterns for Graceful Degradation -- Meeting Real-Time Constraints Using “Sandwich Delays” -- Synchronization Patterns for Process-Driven and Service-Oriented Architectures -- A Pattern Language for Process Execution and Integration Design in Service-Oriented Architectures -- A Pattern Story for Combining Crosscutting Concern State Machines -- An Example of the Retrospective Patterns-Based Documentation of a Software System. |
| Record Nr. | UNISA-996465931403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on pattern languages of programming I / / James Noble, Ralph Johnson (eds.)
| Transactions on pattern languages of programming I / / James Noble, Ralph Johnson (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, c2009 |
| Descrizione fisica | 1 online resource (IX, 234 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
JohnsonRalph
NobleJames <1967-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
Software patterns |
| ISBN |
1-280-38535-9
9786613563279 3-642-10832-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Pattern Language for Extensible Program Representation -- Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction -- Design Patterns for Graceful Degradation -- Meeting Real-Time Constraints Using “Sandwich Delays” -- Synchronization Patterns for Process-Driven and Service-Oriented Architectures -- A Pattern Language for Process Execution and Integration Design in Service-Oriented Architectures -- A Pattern Story for Combining Crosscutting Concern State Machines -- An Example of the Retrospective Patterns-Based Documentation of a Software System. |
| Altri titoli varianti |
Transactions on pattern languages of programming 1
Transactions on pattern languages of programming one |
| Record Nr. | UNINA-9910483099303321 |
| Berlin ; ; New York, : Springer-Verlag, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Pattern Languages of Programming III [[electronic resource] /] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford
| Transactions on Pattern Languages of Programming III [[electronic resource] /] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 195 p. 42 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Pattern Languages of Programming |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems |
| ISBN | 3-642-38676-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466304503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
