Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Brossura

Brossura

ISBN 10: 3662466643 ISBN 13: 9783662466643

Casa editrice: Springer, 2015

Riassunto

Invited Paper.- A Graphical Model for Context-Free Grammar Parsing.- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions.- Feature-Specific Profiling.- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.- Faster, Practical GLL Parsing.- Analysis and Optimisation.- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation.- Staged Points-to Analysis for Large Code Bases.- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes.- Optgen: A Generator for Local Optimizations.- Formal Techniques.- Towards a Scalable Framework for Context-Free Language Reachability.- Protocols by Default: Safe MPI Code Generation Based on Session Types.- Verifying Fast and Sparse SSA-Based Optimizations in Coq.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2015
• Lingua: Inglese
• ISBN 10: 3662466643
• ISBN 13: 9783662466643
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile