Compiler Construction 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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gupta, Rajiv (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6011
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Mathematical logic.; Computer Science.; Software Engineering.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.