Semantics with Applications: An Appetizer / Edition 1

Semantics with Applications: An Appetizer / Edition 1

by Hanne Riis Nielson, Flemming Nielson
     
 

ISBN-10: 1846286913

ISBN-13: 9781846286919

Pub. Date: 03/28/2007

Publisher: Springer London

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.

…  See more details below

Overview

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

Product Details

ISBN-13:
9781846286919
Publisher:
Springer London
Publication date:
03/28/2007
Series:
Undergraduate Topics in Computer Science Series
Edition description:
2007
Pages:
274
Product dimensions:
7.01(w) x 10.00(h) x 0.39(d)

Table of Contents

Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >