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.)

Big Data Forensics: Learning Hadoop Investigations
Big Data Forensics: Learning Hadoop Investigations

Perform forensic investigations on Hadoop clusters with cutting-edge tools and techniques

About This Book

  • Identify, collect, and analyze Hadoop evidence forensically
  • Learn about Hadoop's internals and Big Data file storage concepts
  • A step-by-step guide to help you...
Numerical Analysis in Electromagnetics: The TLM Method (ISTE)
Numerical Analysis in Electromagnetics: The TLM Method (ISTE)

The aim of this book is to give a broad overview of the TLM (Transmission Line Matrix) method, which is one of the “time-domain numerical methods”. These methods are reputed for their significant reliance on computer resources. However, they have the advantage of being highly general.

The TLM method has acquired a...

Introduction to Insurance Mathematics: Technical and Financial Features of Risk Transfers
Introduction to Insurance Mathematics: Technical and Financial Features of Risk Transfers

The book aims at presenting technical and financial features of life insurance, non-life insurance, pension plans. The book has been planned assuming non-actuarial readers as its "natural" target, namely - advanced undergraduate and graduate students in Economics, Business and Finance; - professionals and technicians operating in...


Trustworthy Computing: Analytical and Quantitative Engineering Evaluation
Trustworthy Computing: Analytical and Quantitative Engineering Evaluation
"The book itself is a commendable achievement, and it deals with the security and software reliability theory in an integrated fashion with emphasis on practical applications to software engineering and information technology. It is an excellent and unique book and definitely a seminal contribution and first of its kind."

...

Peptide-Based Cancer Vaccines (Medical Intelligence Unit)
Peptide-Based Cancer Vaccines (Medical Intelligence Unit)

The field of peptide based cancer vaccines has evolved tremendously in the last decade of this century. The exploration on how to apply the peptide knowledge for vaccination purposes began when it was demonstrated that these peptides after being mixed into adjuvants actually induced T cell responses that could prevent virus infections and...

Building Firewalls with OpenBSD and PF, 2nd Edition
Building Firewalls with OpenBSD and PF, 2nd Edition
Written by Jacek Artymiak, a frequent contributor to ONLamp.com, Building Firewalls with OpenBSD and PF is the first and only print publication devoted solely to the subject of the pf packet filter used in OpenBSD, FreeBSD, and NetBSD operating systems. Topics covered include: firewall design, ruleset syntax, packet normalization (scrubbing),...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy