Logo

Formal Syntax and Semantics of Programming Languages

Large book cover: Formal Syntax and Semantics of Programming Languages

Formal Syntax and Semantics of Programming Languages
by

Publisher: Addison Wesley Longman
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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Principles of Programming LanguagesPrinciples of Programming Languages
by - Ben-Gurion University of the Negev
This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.
(15735 views)
Book cover: Reasoned ProgrammingReasoned Programming
by - Prentice Hall Trade
The text for advanced undergraduate/graduate students of computer science. It introduces functional, imperative and logic programming and explains how to do it correctly. Functional programming is presented as a programming language in its own right.
(7163 views)
Book cover: Anatomy of Programming LanguagesAnatomy of Programming Languages
by - UT Austin
This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.
(2952 views)
Book cover: A Practical Theory of ProgrammingA Practical Theory of Programming
by - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(8918 views)