LEADER 03834nam 22007335 450 001 996465340003316 005 20230220141744.0 010 $a1-280-38583-9 010 $a9786613563750 010 $a3-642-11970-0 024 7 $a10.1007/978-3-642-11970-5 035 $a(CKB)2670000000010115 035 $a(SSID)ssj0000399472 035 $a(PQKBManifestationID)11279223 035 $a(PQKBTitleCode)TC0000399472 035 $a(PQKBWorkID)10374970 035 $a(PQKB)11109690 035 $a(DE-He213)978-3-642-11970-5 035 $a(MiAaPQ)EBC3065121 035 $a(PPN)149059760 035 $a(EXLCZ)992670000000010115 100 $a20100308d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCompiler Construction$b[electronic resource] $e19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /$fedited by Rajiv Gupta 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 326 p. 119 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6011 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-11969-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation ? Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6011 606 $aSoftware engineering 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aMachine theory 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aFormal Languages and Automata Theory. 676 $a005.1 702 $aGupta$b Rajiv$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCC 2010 906 $aBOOK 912 $a996465340003316 996 $aCompiler Construction$9771871 997 $aUNISA LEADER 04182oam 2200529I 450 001 9910789141703321 005 20230803034341.0 010 $a90-04-25880-9 024 7 $a10.1163/9789004258808 035 $a(CKB)3710000000078091 035 $a(EBL)1579898 035 $a(SSID)ssj0001127229 035 $a(PQKBManifestationID)11639903 035 $a(PQKBTitleCode)TC0001127229 035 $a(PQKBWorkID)11151078 035 $a(PQKB)11445563 035 $a(MiAaPQ)EBC1579898 035 $a(OCoLC)864429470$z(OCoLC)861213076 035 $a(nllekb)BRILL9789004258808 035 $a(EXLCZ)993710000000078091 100 $a20131130d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aHague yearbook of international law = $hVol. 25, 2012 =Annuaire de La Haye de droit international /$fedited by Nikos Lavranos ... [and others] 210 1$aLeiden :$cKoninklijke Brill NV,$d2013. 215 $a1 online resource (267 p.) 225 0 $aAnnuaire AAA = AAA Yearbook ;$v25 300 $aDescription based upon print version of record. 311 $a90-04-25879-5 327 $tPreliminary Material /$rNikos Lavranos and Ruth Kok -- $tPrivate International Law sans frontières /$rChris Thomale -- $tHague Conference on Private International Law?Work in 2012 /$rMicah R. Thorner and Kay Jagath Rommerts -- $tReflections on the Hague Conference on Private International Law at 140?20 Years Forward /$rPeter D. Trooboff and Frederike E.M. Stikkelbroeck -- $tSecurity Council Referrals to the ICC and EU Fundamental Rights: A Test for ECJ?s Stance in Kadi I /$rMihail Vatsov -- $tDeclaratory Judgments of the International Court of Justice /$rJuliette McIntyre -- $tARA Libertad from ITLOS: How Provisional a Provisional Measure Should Be? /$rNuwan Peiris -- $tLe gel des avoirs d?une banque centrale étrangère comme réaction décentralisée à un fait internationalement illicite : rétorsion ou contre-mesure? /$rEmanuel Castellarin -- $tThe Neer Rumour /$rHeather L. Bray -- $tThe Permanent Court of Arbitration in 2012 /$rYanying Li and Camille M. Ng -- $tFostering Stability and Confidence in the Financial Markets? A Global Affair: P.R.I.M.E. Finance /$rGerard J. Meijer and Camilla M.L. Perera-De Wit -- $tAbout the Editorial Board /$rNikos Lavranos and Ruth Kok. 330 $aThe title of the Hague Yearbook of International Law reflects the close ties which have always existed between the AAA and the City of The Hague with its international law institutions, and indicates the Yearbook?s aim of devoting attention to developments taking place in the international law institutions based in The Hague. However, the Yearbook has a broader scope as well: to offer a platform for review of new developments in the field of international law. As of the 2010 Volume, the Yearbook has been compiled by a new and expanded Editorial Board, offering fresh ideas and a new approach. A newly established Advisory Board has also been added, including ICJ Judge Bruno Simma, Serge Brammertz, Prosecutor of the International Criminal Tribunal for the Former Yugoslavia (ICTY), Jacomijn J. van Haersolte-van Hof, advocate (advocaat) at HaersolteHof and arbitrator (The Netherlands) and Professor Peter Hilpold, Innsbruck University (Austria). Sections have been created on public international law, private international law, international investment law and international criminal law, containing in-depth articles on current issues. The breadth of the Yearbook?s content thus offers an interesting and valuable illustration of the dynamic developments in the various sub-areas of international law. 410 0$aHague Yearbook of International Law / Annuaire de La Haye de Droit International$v25. 606 $aInternational law$vPeriodicals 615 0$aInternational law 676 $a341 676 $a341.05 676 $a341/.05 701 $aLavranos$b Nikolaos$f1971-$0301152 801 0$bNL-LeKB 801 1$bNL-LeKB 906 $aBOOK 912 $a9910789141703321 996 $aHague yearbook of international law$93828909 997 $aUNINA