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