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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gupta, Rajiv (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6011
Temas:
Software 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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares