LEADER 01005cam0-2200349---450- 001 990004141390403321 005 20100906141054.0 035 $a000414139 035 $aFED01000414139 035 $a(Aleph)000414139FED01 035 $a000414139 100 $a19990604d1968----km-y0itay50------ba 101 1 $aita$cfre 102 $aIT 105 $ay-------001yy 200 1 $a<>scuola affermatrice di vita$eper la vita attraverso il vero$fEugéne Devaud$ga cura di Aldo Agazzi 205 $a7. ed. 210 $aBrescia$cLa Scuola$dc1968 215 $a120 p.$d21 cm 225 1 $aMeridiani dell'educazione 610 0 $aScuola 676 $a371 700 1$aDévaud,$bEugène$0385961 702 1$aAgazzi,$bAldo$f<1906- > 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990004141390403321 952 $aP.1 FRM 51$bI.F.M.685$fFLFBC 952 $aP.1 PEP 289$bIST.PED. 685$fFLFBC 959 $aFLFBC 996 $aScuola affermatrice di vita$9152471 997 $aUNINA LEADER 05974nam 22008055 450 001 9910739420403321 005 20251116210401.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 08$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