Welcome to E-Books Directory
This is a freely downloadable e-book.

Semantics With Applications: A Formal Introduction

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.

Home page url

 Download or read it online here:

Download link

 (1.2MB, PDF)