Aliasing in Object-Oriented Programming. Types, Analysis and Verification [Elektronisk resurs] / edited by Dave Clarke, James Noble, Tobias Wrigstad.
-
Clarke, Dave. (författare)
-
Noble, James. (författare)
-
Wrigstad, Tobias. (författare)
-
SpringerLink (Online service)
- ISBN 9783642369469
- Publicerad: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013
- Engelska VIII, 515 p. 134 illus.
-
Serie: Lecture Notes in Computer Science, 0302-9743 ; 7850
- Relaterad länk:
-
http://dx.doi.org/10... (Table of Contents / Abstracts)
Innehållsförteckning
Sammanfattning
Ämnesord
Stäng
- 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. .
- This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.
Ämnesord
- Computer science. (LCSH)
- Software engineering. (LCSH)
- Operating systems (Computers). (LCSH)
- Computer Science.
- Programming Techniques.
- Operating Systems.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- History of Computing.
Klassifikation
- QA76.6-76.66 (LCC)
- COM051000 (ämneskategori)
- 005.11 (DDC)
- Pubb (kssb/8 (machine generated))
Inställningar
Hjälp
Titeln finns på 17 bibliotek.
Ange som favorit
-
Luleå universitetsbibliotek, Digitala resurser (LTUd)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for LTU) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Mittuniversitetet, Digitala biblioteket (Miun)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for MIU) (Springer Nature Complete eBooks) (fulltext)
-
Läs hela (Online access for MIU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.
-
Umeå universitetsbibliotek, Digitala resurser (Qdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for UMUB) (fulltext) (Springer Lecture Notes in Computer Science)
Öppettider, adress m.m.
Ange som favorit
-
Karlstads universitetsbibliotek, Digitala resurser (Kdig)Ange som favorit
-
Titeln i bibliotekets lokala katalogKauLink
-
-
Läs hela (Online access for KaU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
-
Läs hela (Online access for KaU) (Springer eBooks (Computer Science/LNCS 2013)) (fulltext)
Öppettider, adress m.m.
-
Mälardalens universitet, Digitala resurser (Mdhd)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Tillgänglig för användare inom Mälardalens högskola) (fulltext) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Örebro universitetsbibliotek, Digitala resurser (Odig)Ange som favorit
-
-
Läs hela (Tillgänglig inom Örebro universitet och externt för studenter och anställda vid universitetet) (fulltext) (Lecture Notes in Computer Science)
Öppettider, adress m.m.
Ange som favorit
-
Stockholms universitetsbibliotek, Digitala resurser (Hdig)Ange som favorit
-
-
Läs hela (Tillgänglig för användare inom Stockholms universitet) (SpringerLink Books - AutoHoldings:Full Text)
Öppettider, adress m.m.
-
Patent- och registreringsverket, Biblioteket (Pvd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Tillgänglig på PRV) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.
-
Kungliga Tekniska högskolan, E-resurser (Tdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for KTHB) (fulltext) (Springer)
Öppettider, adress m.m.
Ange som favorit
-
Högskolan i Jönköping, E-resurser (JonE)Ange som favorit
-
Titeln i bibliotekets lokala katalogGet it
-
-
Läs hela (Online access for JON) (fulltext) (Springer eBooks)
Öppettider, adress m.m.
-
Linköpings universitetsbibliotek, E-resurser (LiUd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Extern tillgång endast anställda och studenter vid LiU) (Springer Computer Science eBooks 2013 English/International) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
Ange som favorit
-
Göteborgs universitetsbibliotek, E-resurser (Gdix)Ange som favorit
-
Bibliotekets lokala katalogFind@GU
-
-
Läs hela (Tillgänglig för Göteborgs universitet / Online access for the University of Gothenburg) (Springer eBooks:Full Text)
Öppettider, adress m.m.
-
Högskolan i Borås, Biblioteket, Digitala resurser (Hibd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Tillgänglig för användare inom Högskolan i Borås) (fulltext) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Chalmers tekniska högskola, E-resurser (Zdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for Chalmers) (Springer Computer Science eBooks 2013 English/International)
Öppettider, adress m.m.
Ange som favorit
-
Lunds universitets bibliotek, Digitala resurser (Ldix)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Läs hela (Online access for Lund University) (Springer Lecture Notes in Computer Science eBooks) (Springer eBooks (Computer Science/LNCS 2013))
Utlånad?Öppettider, adress m.m.
-
Linnéuniversitetet, Universitetsbiblioteket, E-resurser (LnuE)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Läs hela (Online access for Linnaeus University) (fulltext) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Malmö universitetsbibliotek, E-resurser (Maud)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for MAU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.