𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

✍ Scribed by Kenneth Slonneger, Barry L. Kurtz

Book ID
127449460
Publisher
Addison Wesley Longman
Year
1994
Tongue
English
Weight
2 MB
Edition
1st
Category
Library
ISBN-13
9780201656978

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Subjects

Компьютерная литература

📜 SIMILAR VOLUMES

A text-based approach to feature modelli
A text-based approach to feature modelling: Syntax and semantics of TVL
✍ Andreas Classen; Quentin Boucher; Patrick Heymans 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 616 KB

In the scientific community, feature models are the de-facto standard for representing variability in software product line engineering. This is different from industrial settings where they appear to be used much less frequently. We and other authors found that in a number of cases, they lack conci