Compiler Construction
Editat de Björn Frankeen Limba Engleză Paperback – 9 apr 2015
The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.
Preț: 320.50 lei
Preț vechi: 400.63 lei
-20%
Puncte Express: 481
Preț estimativ în valută:
56.67€ • 64.99$ • 48.98£
56.67€ • 64.99$ • 48.98£
Carte tipărită la comandă
Livrare economică 28 aprilie-12 mai
Specificații
ISBN-13: 9783662466629
ISBN-10: 3662466627
Pagini: 268
Ilustrații: XII, 253 p. 78 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2015
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3662466627
Pagini: 268
Ilustrații: XII, 253 p. 78 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2015
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.