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

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