Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Trustworthy Compilers (Quantitative Software Engineering Series)

Buy

The Most Complete, Real-World Guide to Compiler

Development—and 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, and provides analytical overview of other promising research works in this area.

Vladimir Safonov shares the benefit of his long experience as a teacher and compiler development professional to explain that—even in such a well-studied area as compilers—there is still an opportunity for original results, efficient algorithms, and promising research and development. Beginning with a definition of the trustworthy compiler and a review of the history of compiler development, Trustworthy Compilers features:

  • A complete overview of all essential compiler topics, including lexical analysis, parsing, semantic analysis, compiler optimization, code generation, and traditional and modern approaches to runtime

  • Efficient, ready-to-apply algorithms for various phases of compilation, especially for semantic analysis, developed by the author and used in his real compilers

  • High-yield coverage of graph compilers—a novel compiler development area—plus related concepts such as graph grammars and graph compilers, and editor development tools such as DiaGen

  • Real projects—using examples of real compilers—that cover the key topics related to compiler development and compiling methods

  • A survey of novel kinds of compilation, including just-in-time (JIT) and ahead-of-time (AOT) compilation, which are characteristic of modern software development platforms Java and .NET

  • Sections on modern compiler tools—such as ANTLR, CoCo/R, and SableCC

Covering both classical techniques and innovative ones not covered by other books, Trustworthy Compilers helps both practicing professionals and students meet the challenge of?making compilers more trustworthy. The book's companion Web page (www.vladimirsafonov.org/trustworthycompilers) provides an overview of the book and related resources for compiler teachers and students.

(HTML tags aren't allowed.)

Radiowave Propagation and Antennas for Personal Communications (Antennas & Propagation Library)
Radiowave Propagation and Antennas for Personal Communications (Antennas & Propagation Library)
This newly revised and expanded edition of the Artech House classic, "Radiowave Propagation and Antennas for Personal Communications", offers a current and comprehensive introduction to the practice and underpinnings of personal communications. Every chapter has been updated to explain how the latest ultra-wide band technology affects all...
Interventional Radiology in Pain Treatment
Interventional Radiology in Pain Treatment

Disease is often accompanied by pain. This book describes the techniques elaborated by interventional radiologists in the treatment and palliation of a variety of benign and malignant painful conditions. Each chapter concentrates on a particular aspect of pain management, with emphasis on practical issues. This book will serve as an...

Mastering Hadoop
Mastering Hadoop

Go beyond the basics and master the next generation of Hadoop data processing platforms

About This Book

  • Learn how to optimize Hadoop MapReduce, Pig and Hive
  • Dive into YARN and learn how it can integrate Storm with Hadoop
  • Understand how Hadoop can be deployed on the cloud...

Modulation of Presynaptic Calcium Channels
Modulation of Presynaptic Calcium Channels

This book will bring together leading international experts to discuss recent advances in basic scientific knowledge regarding the regulation of presynaptic Ca2+ channels. Importantly, Ca2+ channels represent one of the most widely modulated proteins in the body, being the target of a range of effector pathways and drugs; this range will be...

Military Intelligence Blunders
Military Intelligence Blunders

This is a book that tries to tell the story of some recent events, all within living memory, from a different angle: intelligence. Most of us have read press accounts and books about the events that unfold on these pages. But very few of us have seen the events from the inside. The inside implies knowledge: and knowledge means power.

...

Sensors: Proceedings of the Second National Conference on Sensors, Rome 19-21 February, 2014 (Lecture Notes in Electrical Engineering)
Sensors: Proceedings of the Second National Conference on Sensors, Rome 19-21 February, 2014 (Lecture Notes in Electrical Engineering)

This book contains a selection of papers presented at the Second National Conference on Sensors held in Rome 19-21 February 2014. The conference highlighted state-of-the-art results from both theoretical and applied research in the field of sensors and related technologies. This book presents material in an interdisciplinary approach,...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy