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.
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 | ||
| ||
Proceedings for the 1st Workshop on Script to Program Evolution
| Proceedings for the 1st Workshop on Script to Program Evolution |
| Autore | Wrigstad Tobias |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (74 p.;) |
| Collana | ACM Other conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | STOP '09 |
| Record Nr. | UNINA-9910375797203321 |
Wrigstad Tobias
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes / / Elisa Gonzalez Boix, Tobias Wrigstad, editors
| Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes / / Elisa Gonzalez Boix, Tobias Wrigstad, editors |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2022 |
| Descrizione fisica | 1 online resource (161 pages) |
| Disciplina | 005.42 |
| Collana | ACM Other conferences |
| Soggetto topico | Garbage collection (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910633992303321 |
| New York, NY : , : Association for Computing Machinery, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2021 ACM SIGPLAN International Symposium on Memory Management / / Zhenlin Wang, Tobias Wrigstad
| Proceedings of the 2021 ACM SIGPLAN International Symposium on Memory Management / / Zhenlin Wang, Tobias Wrigstad |
| Autore | Wang Zhenlin |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (106 pages) |
| Disciplina | 004.5 |
| Soggetto topico | Computer storage devices |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510450103321 |
|
Wang Zhenlin
|
||
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||