Compiler Design: Syntactic and Semantic Analysis

Reinhard Wilhelm

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

商品描述

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.

 

This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages, and methods for automatic generation based on the theory of automata. The authors present a conceptual translation structure, i.e., a division into a set of modules, which transform an input program into a sequence of steps in a machine program, and they then describe the interfaces between the modules. Finally, the structures of real translators are outlined. The book contains the necessary theory and advice for implementation.

 

This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments.

 

 

 

 

 

 

 

商品描述(中文翻譯)

雖然高階程式語言的編譯器是龐大而複雜的軟體系統,但它們具有與其他軟體系統不同的特點。它們的功能幾乎完全被明確定義 - 理想情況下,存在著對源語言和目標語言的完整精確描述。通常還提供了與作業系統、程式系統和程式環境以及其他編譯器和函式庫的介面的附加描述。

本書討論了編程語言翻譯器的分析階段。它描述了詞法、語法和語義分析,以及來自形式語言理論的這些任務的規範機制,以及基於自動機理論的自動生成方法。作者們提出了一個概念性的翻譯結構,即將輸入程序轉換為機器程序中的一系列步驟的模塊集合,然後描述了模塊之間的介面。最後,概述了真實翻譯器的結構。本書包含了實施所需的理論和建議。

本書面向計算機科學專業的學生。全書都有例子、練習和程式片段的支持。