The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Guide to ILDJIT
Springer 2011; US$ 31.99This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without... more...
Engineering a Compiler
Elsevier Science 2003; US$ 94.95The proliferation of processors, environments, and constraints on systems has cast compiler technology into a wider variety of settings, changing the compiler and compiler writer's role. No longer is execution speed the sole criterion for judging compiled code. Today, code might be judged on how small it is, how much power it consumes, how well it... more...
Modern Compiler Design
Springer 2012; US$ 79.99"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distinguishing between the essential (material that has a high chance of being useful) and the incidental (material that will be of benefit only in exceptional cases) much useful information... more...
C Compilers for ASIPs
Springer 2009; US$ 99.99This book presents a novel approach for Architecture Description Language (ADL)-based instruction-set description that enables the automatic retargeting of the complete software toolkit from a single ADL processor model. This allows a high speedup in compiler generation and contributes to a more efficient ASIP design flow. Coverage includes a comprehensive... more...
The Austin Protocol Compiler
Springer 2006; US$ 94.99The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. This book introduces the Austin Protocol Compiler (APC) that takes as input, a TAP specification of some protocol, and produces as output C-code that implements this protocol based on the concrete semantics of TAP. more...
Automatic Parallelization
Morgan & Claypool Publishers 2012; US$ 45.00Compiling for parallelism is a longstanding topic of compiler research. This book describes the fundamental principles of compiling "regular" numerical programs for parallelism. We begin with an explanation of analyses that allow a compiler to understand the interaction of data reads and writes in different statements and loop iterations during program... more...
Compiling Esterel
Springer 2007; US$ 129.99Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of... more...
Trustworthy Compilers
Wiley 2010; US$ 140.00The Most Complete, Real-World Guide to Compiler Developmentand the Principles of Trustworthy Compilers Drawing on the author's over thirty years of expertise in compiler development, research, and instruction, Trustworthy Compilers introduces and analyzes the concept of trustworthy compilers and the principles of trustworthy compiler development,... more...









