Trustworthy Compilers (Hardcover)

Vladimir O. Safonov

  • 出版商: Wiley
  • 出版日期: 2010-04-19
  • 定價: $4,600
  • 售價: 9.5$4,370
  • 語言: 英文
  • 頁數: 320
  • 裝訂: Hardcover
  • ISBN: 0470500956
  • ISBN-13: 9780470500958
  • 相關分類: Compiler
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

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.

商品描述(中文翻譯)

《可靠編譯器:最完整的現實世界指南》

作者在編譯器開發、研究和教學方面擁有超過三十年的專業知識,本書介紹和分析了可靠編譯器的概念和可靠編譯器開發的原則,並提供了該領域其他有前景的研究工作的分析概述。

弗拉迪米爾·薩福諾夫(Vladimir Safonov)分享了他作為教師和編譯器開發專業人員的豐富經驗,解釋了即使在像編譯器這樣研究得很透徹的領域中,仍然存在著原創成果、高效算法和有前景的研究和開發的機會。從可靠編譯器的定義和編譯器開發的歷史回顧開始,本書包括以下內容:

- 對所有基本編譯器主題的完整概述,包括詞法分析、語法分析、語義分析、編譯器優化、代碼生成以及傳統和現代運行時方法。
- 高效、可應用的算法,尤其是作者在語義分析方面開發並在他的真實編譯器中使用的算法。
- 對圖編譯器(一個新穎的編譯器開發領域)以及與之相關的圖文法和圖編譯器的詳細介紹,以及DiaGen等編輯器開發工具。
- 使用真實編譯器示例的實際項目,涵蓋與編譯器開發和編譯方法相關的關鍵主題。
- 對新型編譯的調查,包括即時編譯(JIT)和提前編譯(AOT),這是現代軟件開發平台Java和.NET的特點。
- 關於現代編譯器工具(如ANTLR、CoCo/R和SableCC)的章節。

《可靠編譯器》涵蓋了傳統技術和其他書籍未涵蓋的創新技術,幫助實踐專業人士和學生應對使編譯器更可靠的挑戰。本書的附帶網頁(www.vladimirsafonov.org/trustworthycompilers)提供了本書的概述以及編譯器教師和學生相關資源。