Semantics with Applications: A Formal Introduction

by Flemming Nielson and Hanne Riis Nielson

The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate...

• Format: Paperback
• Language: English
• ISBN: 0471929808
• ISBN13: 9780471929802
• Release Date: January 1880
• Publisher: John Wiley & Sons
• Length: 240 Pages
• Weight: 0.95 lbs.