Semantics With Applications: A Formal Introduction
by Hanne Riis Nielson, Flemming Nielson
Publisher: John Wiley & Sons 1992
ISBN/ASIN: 0471929808
ISBN-13: 9780471929802
Number of pages: 250
Description:
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step). It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs. It also presents proof principles for operational semantics and investigate the relationship between the two approaches to operational semantics. Problems from areas such as compiler construction, software validation, and program verication will be used to demonstrate the practical utility of semantics.
Download or read it online for free here:
Download link
(1.2MB, PDF)
Similar books
Let Over Lambda: 50 Years of Lispby Doug Hoyte - Lulu.com
One of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. This book is about macros, that is programs that write programs.
(24922 views)
Programming Languages: Application and Interpretationby Shriram Krishnamurthi - Lulu.com
The textbook for a programming languages course, taken primarily by advanced undergraduate and beginning graduate students. This book assumes that students have modest mathematical maturity, and are familiar with the existence of the Halting Problem.
(14701 views)
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.
(10863 views)
Type Systems for Programming Languagesby Robert Harper
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(18124 views)