Formal syntax and semantics of programming languages : a laboratory based approach

✍ Scribed by Kenneth Slonneger; Barry L Kurtz

• Publisher: Addison-Wesley Pub. Co
• Year: 1995
• Tongue: English
• Leaves: 654
• Edition: 1st
• Category: Library

✦ Synopsis

Formal Syntax and Semantics of Programming Languages is a text designed for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. This unique text takes a teaching/learning perspective rather than the traditional, research-oriented approach.This text is designed to present the typically difficult subject area of formal methods via an informal presentation. This text is accessible to students who have a basic grounding in discrete mathematics. A laboratory component provides the opportunity for practical application of difficult concepts

✦ Table of Contents

Content: Ch. 1. Specifying Syntax --
Ch. 2. Introduction to Laboratory Activities --
Ch. 3. Attribute Grammars --
Ch. 4. Two-Level Grammars --
Ch. 5. The Lambda Calculus --
Ch. 6. Self-Definition of Programming Languages --
Ch. 7. Translational Semantics --
Ch. 8. Traditional Operational Semantics --
Ch. 12. Algebraic Semantics --
Ch. 13. Action Semantics --
Appendix A: Logic Programming with Prolog --
Appendix B: Functional Programming with Scheme.
Abstract:

Adopting an informal presentation, this text covers the difficult subject area of Formal Methods. Aiming to make the work accessible and motivational, the authors approach the subject from a ''teaching/learning'' perspective rather than from the traditional and dominant research angle. Read more...