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: Structure and Interpretation of Computer ProgramsStructure and Interpretation of Computer Programs
by - McGraw-Hill
The book teaches how to program by employing the tools of abstraction and modularity. The central philosophy is that programming is the task of breaking large problems into small ones. You will learn how to program and how to think about programming.
(14660 views)
Book cover: Comparative Studies of Programming LanguagesComparative Studies of Programming Languages
by - arXiv
Lecture notes for the Comparative Studies of Programming Languages course. These notes include a compiled book of primarily related articles from the Wikipedia, as well as Comparative Programming Languages book and other resources.
(7202 views)
Book cover: Denotational Semantics: A Methodology for Language DevelopmentDenotational Semantics: A Methodology for Language Development
by - Kansas State University
Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.
(9034 views)
Book cover: Formal LanguagesFormal Languages
by - 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.
(5798 views)