## Formal Syntax and Semantics of Programming Languages: A Laboratory Based ApproachFormal 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

abstract syntax tree action semantics ascending chain atom attribute grammar axiomatic semantics bindings boolean expr cell Chapter clause command seq command sequence computation concat construct declaration DECLSEQ defined denotational semantics derivation tree digit domain elaborate element empty error evaluate example execute exercise expr2 false Figure fixed point fixed-point func given lnteger#1 hyper-rule identifier implementation induction input integer expr lambda calculus lambda expression least fixed point least upper bound letter y type loop invariant module natural numbers naturalType newQ nonterminal operational semantics operations output parameter parse partial order Pelican postcondition predicate procedure produce programming language Prolog queue recursive definition returns rule S-expression SECD machine semantic equations sort string structure succ symtab syntactic term tion transients true TruthValue two-level grammar type boolean type integer letter typeExpr undefined variable Wren Wren program write Yielder zero