Programming language syntax and semantics
著者
書誌事項
Programming language syntax and semantics
（Prentice-Hall International series in computer science）
Prentice Hall, 1991
- : pbk
大学図書館所蔵 件 / 全20件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 377-380
Includes index
内容説明・目次
- 巻冊次
-
ISBN 9780137262663
内容説明
This book introduces students to the formal methods of specifying the syntax and semantics of programming languages. For syntax, context-free grammars (BNF) and regular expressions are covered. For semantics, the methods of algebraic semantics, denotational semantics and action semantics are covered. Students should learn how to understand formal specifications of programming languages, how to write such specifications and how they may inform the process of language design. The text contains a treatment of syntax and semantics, and coverage of several complementary semantic methods, with emphasis on using formal specification. There is brief coverage of underlying theory (and pointers to further reading), and an introduction to action semantics - a new method of specifying semantics.
目次
- Syntax
- algebraic sematics
- denotational semantics
- action semantics
- other semantic methods. Appendix: answers to selected questions.
- 巻冊次
-
: pbk ISBN 9780137262748
内容説明
Programming Language Syntax and Semantics introduces methods for formally specifying the syntax and semantics of programming languages.
目次
*Preface *Introduction *Syntax *Denotational Semantics: Properties *Denotational Semantics: Applications *Denotational Semantics: Theory *Algebraic Semantics *Action Semantics: Principles *Action Semantics: Applications
「Nielsen BookData」 より
