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

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. 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... 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