Compiling Natural Semantics, Mikael Pettersson

Автор: Andrew W. Appel
Название: Compiling with continuations
ISBN: 052103311X ISBN-13(EAN): 9780521033114
Издательство: Cambridge Academ
Рейтинг:
Цена: 87650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations. It will be essential reading for compiler writers in both industry and academe, as well as for students and researchers in programming language theory.

Автор: N.D. Jones
Название: Semantics-Directed Compiler Generation
ISBN: 3540102507 ISBN-13(EAN): 9783540102502
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Keith Cooper
Название: Engineering a Compiler,
ISBN: 012088478X ISBN-13(EAN): 9780120884780
Издательство: Elsevier Science
Рейтинг:
Цена: 73640.00 T
Наличие на складе: Нет в наличии.
Описание: Folk Voiceworks is an outstanding collection including songs from centuries past alongside pieces by celebrated folk musicians. You`ll find shanties, protest songs, songs about the land, lullabies, love songs, and much more - scored flexibly for unison and part-singing. With excellent practical rehearsal notes and a CD with performances of all the songs, this is a fabulous resource for all choirs.

Автор: Kasahara Hironori
Название: Languages and Compilers for Parallel Computing
ISBN: 3642376576 ISBN-13(EAN): 9783642376573
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talk.- Just in Time Load Balancing.- Workshop Papers.- AlphaZ: A System for Design Space Exploration in the Polyhedral Model.- Compiler Optimizations: Machine Learning versus O3.- The STAPL Parallel Graph Library.- Set and Relation Manipulation for the Sparse Polyhedral Framework.- Parallel Clustered Low-Rank Approximation of Graphs and Its Application to Link Prediction.- OmpSs-OpenCL Programming Model for Heterogeneous Systems.- Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs.- UCIFF: Unified Cluster Assignment Instruction Scheduling and Fast Frequency Selection for Heterogeneous Clustered VLIW Cores.- A Study on the Impact of Compiler Optimizations on High-Level Synthesis.- FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.- Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages.- A Fast Parallel Graph Partitioner for Shared-Memory Inspector/Executor Strategies.- A Software-Based Method-Level Speculation Framework for the Java Platform.- Ant: A Debugging Framework for MPI Parallel Programs.- Compiler Automatic Discovery of OmpSs Task Dependencies.- Beyond Do Loops: Data Transfer Generation with Convex Array Regions.- Workshop Posters.- Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism.- FlashbackSTM: Improving STM Performance by Remembering the Past.- Kaira: Generating Parallel Libraries and Their Usage with Octave.- Language and Architecture Independent Software Thread-Level Speculation.- Abstractions for Defining Semi-Regular Grids Orthogonally from Stencils.

Автор: Andrew W. Appel
Название: Modern Compiler Implementation in ML
ISBN: 0521607647 ISBN-13(EAN): 9780521607643
Издательство: Cambridge Academ
Рейтинг:
Цена: 69690.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

Автор: Samuel P. Midkiff; Jose E. Moreira; Manish Gupta;
Название: Languages and Compilers for Parallel Computing
ISBN: 3540428623 ISBN-13(EAN): 9783540428626
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing, held in Yorktown Heights, NY, USA, in August 2000, and contains 22 revised papers together with five posters covering aspects of parallel processing.

Автор: Markus M?ller-Olm
Название: Modular Compiler Verification
ISBN: 3540634061 ISBN-13(EAN): 9783540634065
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing on modular compiler verification, this volume presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. It covers correctness of translation down to actual machine code.

Автор: Mads Tofte
Название: Compiler Generators
ISBN: 3540514716 ISBN-13(EAN): 9783540514718
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators.

Автор: Bj?rn Franke
Название: Compiler Construction
ISBN: 3662466627 ISBN-13(EAN): 9783662466629
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions.

Автор: Vikram Adve; Mar?a Jes?s Garzar?n; Paul Petersen
Название: Languages and Compilers for Parallel Computing
ISBN: 3540852603 ISBN-13(EAN): 9783540852605
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. This work is organized in topical sections on reliability, languages, parallel compiler technology, libraries and general compiler techniques.

Автор: Dieter Hammer
Название: Compiler Compilers
ISBN: 3540536698 ISBN-13(EAN): 9783540536697
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the proceedings of a workshop on compiler compilers. This work includes papers covering a wide spectrum ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization.

Автор: Dumitru Potop-Butucaru; Stephen A. Edwards; Gerard
Название: Compiling Esterel
ISBN: 0387706267 ISBN-13(EAN): 9780387706269
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it.