LEADER 03234oam 2200769Mn 450 001 9910450498903321 005 20200324081314.0 010 $a1-134-93216-2 010 $a1-280-33138-0 010 $a0-203-31745-9 010 $a0-203-03608-5 035 $a(CKB)1000000000248590 035 $a(EBL)169523 035 $a(OCoLC)191031517 035 $a(SSID)ssj0000123237 035 $a(PQKBManifestationID)11135843 035 $a(PQKBTitleCode)TC0000123237 035 $a(PQKBWorkID)10010533 035 $a(PQKB)10685582 035 $a(SSID)ssj0000277961 035 $a(PQKBManifestationID)11205345 035 $a(PQKBTitleCode)TC0000277961 035 $a(PQKBWorkID)10241475 035 $a(PQKB)10885649 035 $a(SSID)ssj0001143442 035 $a(PQKBManifestationID)12513051 035 $a(PQKBTitleCode)TC0001143442 035 $a(PQKBWorkID)11106533 035 $a(PQKB)11146509 035 $a(MiAaPQ)EBC169523 035 $a(Au-PeEL)EBL169523 035 $a(CaPaEBR)ebr10058404 035 $a(CaONFJC)MIL33138 035 $a(OCoLC)821815430 035 $a(OCoLC-P)821815430 035 $a(FlBoTFG)9780203036082 035 $a(EXLCZ)991000000000248590 100 $a20071003j199403uu uy 0 101 0 $aeng 135 $aur|n||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCleopatras /$fWhitehorne 210 $aNew York $cRoutledge$dMarch 1994$aLos Angeles $cSony Electronics [distributor] 215 $a1 online resource (264 p.) 300 $aDescription based upon print version of record. 311 $a0-415-26132-5 311 $a0-415-05806-6 320 $aIncludes bibliographical references (p. 227-232) and index. 327 $aBook Cover; Title; Contents; List of illustrations; Preface; Acknowledgements; FROM MYTH TO LEGEND The Earliest Cleopatras; CLEOPATRA, PERDICCAS II, AND ARCHELAUS; PHILIP II'S LAST WIFE; A DOUBLE MYSTERY; ALEXANDER'S SISTER; FROM AEGAE TO ALEXANDRIA; THE SELEUCID CONNECTION (1) Cleopatra I; CLEOPATRA II AND PTOLEMY VI; CLEOPATRA II AND PTOLEMY VIII; CLEOPATRA II, CLEOPATRA III, AND PTOLEMY VIII; CLEOPATRA III AND HER CHILDREN; THE SELEUCID CONNECTION (2) Cleopatra Thea and her Husbands; THE SELEUCID CONNECTION (3) Cleopatra Selene and the Last of the Seleucids 327 $aTHE TWILIGHT OF THE PTOLEMIES Cleopatra Berenice III, Cleopatra V TryphaenaCLEOPATRA VII'S SUICIDE; THE END OF THE LINE Cleopatra Selene of Mauretania; APPENDIX 1: WHO'S WHO AMONG THE PTOLEMIES; APPENDIX 2: GENEALOGICAL TABLES; Notes; Select bibliography; Index 330 8 $aAnnotation$bTraces the turbulent lives of the famous Cleopatra's historically important namesakes, and considers the growing political significance of royal women in the last three centuries B.C. 606 $aQueens$zMiddle East$vBiography 606 $aQueens$zMacedonia$vBiography 607 $aMiddle East$xHistory$yTo 622 607 $aMacedonia$xHistory$yTo 168 B.C 608 $aElectronic books. 615 0$aQueens 615 0$aQueens 676 $a939/.4 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910450498903321 996 $aCleopatras$92083869 997 $aUNINA LEADER 04576nam 22006615 450 001 996465908003316 005 20200704045142.0 010 $a3-540-45332-6 024 7 $a10.1007/3-540-45332-6 035 $a(CKB)1000000000211418 035 $a(SSID)ssj0000327467 035 $a(PQKBManifestationID)11230859 035 $a(PQKBTitleCode)TC0000327467 035 $a(PQKBWorkID)10301386 035 $a(PQKB)10057134 035 $a(DE-He213)978-3-540-45332-1 035 $a(MiAaPQ)EBC3073301 035 $a(PPN)155227688 035 $a(EXLCZ)991000000000211418 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTypes in Compilation$b[electronic resource] $eThird International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers /$fedited by Robert Harper 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (X, 214 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2071 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42196-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aTypes in Compilation -- Sound and Complete Elimination of Singleton Kinds -- Program Representation Size in an Intermediate Language with Intersection and Union Types -- An Abstract Model of Java Dynamic Linking and Loading -- Sharing in Typed Module Assembly Language -- Scalable Certification for Typed Assembly Language -- Safe and Flexible Dynamic Linking of Native Code -- Alias Types for Recursive Data Structures. 330 $aThe importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2071 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aMathematical logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005.4/53 702 $aHarper$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTIC 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465908003316 996 $aTypes in Compilation$92257108 997 $aUNISA