Programming Language Syntax and Semantics - Couverture rigide

Watt, David A.

Couverture rigide

ISBN 10 : 0137262663 ISBN 13 : 9780137262663

Editeur : Prentice-Hall, 1991

Synopsis

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.

A propos du livre

Présentation de l'éditeur

Programming Language Syntax and Semantics introduces methods for formally specifying the syntax and semantics of programming languages.

Détails de l'édition

• Éditeur: Prentice-Hall
• Date d'édition: 1991
• Langue: anglais
• ISBN 10: 0137262663
• ISBN 13: 9780137262663
• Reliure: Relié
• Nombre de pages: 350
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible