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
Understanding Programming Languagesby Monti Ben-Ari - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(17342 views)
The Z Notation: A Reference Manualby J. M. Spivey - Prentice Hall
The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.
(12457 views)
Formal Language Theory for Natural Language Processingby Shuly Wintner - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(11179 views)
Compositional Semanticsby Gary Hardegree - UMass Amherst
Contents: Basic Categorial Syntax; Shortcomings of Standard Categorial Syntax; Expanded Categorial Syntax; Examples of Expanded Categorial Syntax; Categorial Logic; Basic Categorial Semantics; Lambda-Abstraction; Expanded Categorial Semantics; etc.
(16534 views)