1 option
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 / edited by Rajiv Gupta.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 6011.
- Theoretical Computer Science and General Issues ; 6011
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Programming languages (Electronic computers).
- Computer programming.
- Logic, Symbolic and mathematical.
- Software Engineering.
- Software Engineering/Programming and Operating Systems.
- Computer Communication Networks.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Software Engineering.
- Software Engineering/Programming and Operating Systems.
- Computer Communication Networks.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XII, 326 pages) : 119 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-11970-5
- 9783642119705
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.