03834nam 22007335 450 99646534000331620230220141744.01-280-38583-997866135637503-642-11970-010.1007/978-3-642-11970-5(CKB)2670000000010115(SSID)ssj0000399472(PQKBManifestationID)11279223(PQKBTitleCode)TC0000399472(PQKBWorkID)10374970(PQKB)11109690(DE-He213)978-3-642-11970-5(MiAaPQ)EBC3065121(PPN)149059760(EXLCZ)99267000000001011520100308d2010 u| 0engurnn|008mamaatxtccrCompiler Construction[electronic resource] 19th 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 /edited by Rajiv Gupta1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XII, 326 p. 119 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6011Bibliographic Level Mode of Issuance: Monograph3-642-11969-7 Includes bibliographical references and index.Invited 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.Theoretical Computer Science and General Issues,2512-2029 ;6011Software engineeringComputer networksCompilers (Computer programs)Computer programmingMachine theorySoftware EngineeringComputer Communication NetworksCompilers and InterpretersProgramming TechniquesFormal Languages and Automata TheorySoftware engineering.Computer networks.Compilers (Computer programs).Computer programming.Machine theory.Software Engineering.Computer Communication Networks.Compilers and Interpreters.Programming Techniques.Formal Languages and Automata Theory.005.1Gupta Rajivedthttp://id.loc.gov/vocabulary/relators/edtCC 2010BOOK996465340003316Compiler Construction771871UNISA