Semantics with Applications: A Formal Introduction

Semantics with Applications: A Formal Introduction

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).

Publication date: 01 Apr 1992

ISBN-10: 0471929808

ISBN-13: n/a

Paperback: 240 pages

Views: 20,371

Type: N/A

Publisher: John Wiley & Sons

License: n/a

Post time: 24 Oct 2004 04:09:46

Semantics with Applications: A Formal Introduction

Semantics with Applications: A Formal Introduction 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).
Tag(s): Formal Methods
Publication date: 01 Apr 1992
ISBN-10: 0471929808
ISBN-13: n/a
Paperback: 240 pages
Views: 20,371
Document Type: N/A
Publisher: John Wiley & Sons
License: n/a
Post time: 24 Oct 2004 04:09:46
Book excerpts:

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.
 




About The Author(s)


No information is available for this author.

Flemming Nielson

No information is available for this author.


No information is available for this author.

Hanne Riis Nielson

No information is available for this author.


Book Categories
Sponsors