This free online book presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Includes valuable hands-on laboratory exercises.
Book Description
The primary target readership of our text is first-year graduate students, although by careful selection of materials it is also accessible to advanced undergraduate students. The text contains more material than can be covered in a one semester course. We have provided a wide variety of techniques so that instructors may choose materials to suit the particular needs of their students.
Table of Contents
- Specifying Syntax
- Introduction To Laboratory Activities
- Attribute Grammars
- Two-Level Grammars
- The Lambda Calculus
- Self-Definition Of Programming Languages
- Translational Semantics
- Traditional Operational Semantics
- Denotational Semantics
- Domain Theory And Fixed-Point Semantics
- Axiomatic Semantics
- Algebraic Semantics
- Action Semantics
Download Free PDF / Read Online
Author(s): Ken Slonneger
Publisher: Addison Wesley Longman
Format(s): PDF
Number of pages: 637
Link: Download.
Publisher: Addison Wesley Longman
Format(s): PDF
Number of pages: 637
Link: Download.