Formal Syntax and Semantics of Programming Languages
by Kenneth Slonneger, Barry L. Kurtz
Publisher: Addison Wesley Longman 1994
ISBN/ASIN: 0201656973
ISBN-13: 9780201656978
Number of pages: 637
Description:
The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. A "laboratory component" is integrated throughout the text.
Download or read it online for free here:
Download link
(multiple PDF files)
Similar books
Formal Languagesby Keijo Ruohonen - Tampere University of Technology
In these notes the classical Chomskian formal language theory is fairly fully dealt with, omitting however much of automata constructs and computability issues. Surveys of Lindenmayer system theory and the mathematical theory of codes are given.
(11484 views)
Semantics of Programming Languagesby Andrew M. Pitts - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(12254 views)
The Design and Implementation of Probabilistic Programming Languagesby Noah D. Goodman, Andreas Stuhlmüller - dippl.org
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference.
(9258 views)
Semantics With Applications: A Formal Introductionby Hanne Riis Nielson, Flemming Nielson - John Wiley & Sons
The book covers the foundations of structural operational semantics and natural semantics. It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs.
(16406 views)