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

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
The ultimate, definitive programming language has not been created yet, far from it. Almost every day a new language is created, and new functionalities are added to existing languages. Improvements in programming languages contribute to making programs more reliable, shorten the development time, and make programs easier to...
Designing Network Security (2nd Edition) (Networking Technology)
Designing Network Security (2nd Edition) (Networking Technology)
Master the design of secure networks with the updated edition of this best-selling security guide

* Gain a comprehensive view of network security issues and concepts, then master specific implementations based on your network needs
* Learn how to use new and legacy Cisco Systems equipment to secure your networks
* Understand how
...

Macroeconomics (Available Titles Coursemate)
Macroeconomics (Available Titles Coursemate)

Economics is global and the Eighth Edition of MACROECONOMICS maintains the hallmarks of the Boyes/Melvin series--accessible writing, strong pedagogy, and integration of global economic issues--while faithfully presenting the latest thinking of economists on important macroeconomic phenomena. The authors have carefully integrated their popular...


System Building with APL + WIN
System Building with APL + WIN

Software modernisation or re-engineering as a concept lacksuniversal clarity. System Building with APL + Win seeks toclarify this problem by identifying the solution to the long termsurvival of the APL application as the elimination of APL specificconsiderations in the choice of a development tool. The authorshows how to deploy...

Critical Care Management of the Obese Patient
Critical Care Management of the Obese Patient

This book provides health professionals with sound clinical advice on management of the obese patient admitted into hospital. It addresses all aspects of the patient's care, as well as serving as a resource to facilitate the management of services, use of clinical information, and negotiation of ethical issues that occur in intensive...

Sams Teach Yourself Core Data for Mac and iOS in 24 Hours (Sams Teach Yourself -- Hours)
Sams Teach Yourself Core Data for Mac and iOS in 24 Hours (Sams Teach Yourself -- Hours)

In just 24 sessions of one hour or less, start using Core Data to build powerful data-driven apps for iOS devices and Mac OS X computers! Using this book’s straightforward, step-by-step approach, you’ll discover how Apple’s built-in data persistence framework can help you meet any data-related...

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