LEADER 05976nam 22008055 450 001 9910739420403321 005 20240108172609.0 010 $a3-642-36946-4 024 7 $a10.1007/978-3-642-36946-9 035 $a(CKB)3280000000007560 035 $a(Springer)9783642369469 035 $a(MH)013672543-0 035 $a(SSID)ssj0000879961 035 $a(PQKBManifestationID)11546663 035 $a(PQKBTitleCode)TC0000879961 035 $a(PQKBWorkID)10895194 035 $a(PQKB)10098866 035 $a(DE-He213)978-3-642-36946-9 035 $a(MiAaPQ)EBC3093612 035 $a(PPN)169139778 035 $a(EXLCZ)993280000000007560 100 $a20130322d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAliasing in Object-Oriented Programming $eTypes, Analysis and Verification /$fedited by David Clarke, Tobias Wrigstad, James Noble 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (VIII, 515 p. 134 illus.)$cdigital 225 1 $aProgramming and Software Engineering ;$v7850 300 $aMinimal Level Cataloging Plus.$5DLC 311 $a3-642-36945-6 320 $aIncludes bibliographical references and index. 327 $aBeyond 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. . 330 $aThis 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. 410 0$aProgramming and Software Engineering ;$v7850 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aHistory of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I24024 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 14$aProgramming Techniques. 615 24$aOperating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aHistory of Computing. 676 $a005.117 702 $aClarke$b Dave,?$f1971-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWrigstad$b Tobias$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNoble$b James$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910739420403321 996 $aAliasing in Object-Oriented Programming$92830490 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress