Software development by LL(1) syntax description
著者
書誌事項
Software development by LL(1) syntax description
(Wiley professional computing)
Wiley, c1992
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references (p. [361]-371) and index
内容説明・目次
内容説明
A method for syntax-directed program development is described in several steps resulting in a series of so-called generation schemes with increasing complexity. Each such generation scheme defines the mechanical transformation from syntax-directed descriptions (called translation syntaxes) to transducers. Many kinds of translation syntaxes and transducers are treated in detail. The final generation scheme of the series forms the heart of an industrial product called MIRA, which is a tool supporting syntax-directed program development as described in the book. What distinguishes this book from most books on compiler construction is that here the emphasis is on general syntax-directed methods rather than on specific compiler implementation techniques. In this sense, topics such as run-time data representation, run-time memory management, organization of a symbol table, code generation and optimization techiques are not treated in detail. Another important point that characterizes the book is the presence of a large number of examples and case studies illustrating how syntax-directed program development can result in programs of high quality.
In these case studies traditional techniques of software engineering are used, such as separation between specification and implementation, modular design, information hiding and data encapsulation. One of the main goals of the text is to be conceptual and practical at the same time. This is achieved by starting from mathematical objects (such as syntaxes and automata) and gradually transforming them into practical translation syntaxes and transducers. This process is an important aspect of engineering. In this respect, the book is filling the gap between theory and practice on the area of syntax-directed program development. Therefore, the book is of interest for academics as well as for practitioners. It also serves as a textbook in graduate courses on language definitions and language processors. The syntax-directed development method is based on top-down recursive descent parsing, in particular an extended form of LL(1) parsing.
目次
- Regular syntax
- finite-state acceptor
- extended context-free syntax
- pushdown acceptor
- ECF translation syntax and attribute handling
- pushdown transducer and attribute handling
- case studies
- error handling in a batch environment
- error handling in an interactive environment.
「Nielsen BookData」 より