• Menu
  • Skip to right header navigation
  • Skip to main content
  • Skip to secondary navigation
  • Skip to primary sidebar

OnlineProgrammingBooks.com

Legally Free Computer Books

  • All Categories
  • All Books
  • All Categories
  • All Books
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact
You are here: Home ▶ Programming ▶ Semantics with Applications

Semantics with Applications

March 24, 2006

Semantics with Applications

In July 1999, a revised edition has been made available for download, in gzip’ed postscript, postcript (recommended), or pdf formats. 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.

Book Description

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 the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages.

Table of Contents

  • Introduction
  • Operational semantics
  • Provably correct implementation
  • Denotational semantics
  • Static program analysis
  • Axiomatic program verification

Download Free PDF / Read Online

Author(s): Hanne Riis Nielson and Flemming Nielson
Format(s): PDF, PoStcript
File size: 1.16 MB
Number of pages: 250
Link: Download.

Similar Books:

  1. Syntax and Semantics of Programming Languages
  2. The Implementation of Functional Programming Languages
  3. Programming in Standard ML
  4. The Dylan Reference Manual
  5. Application Architecture for .NET: Designing Applications and Services
Previous Post: « Introducing Microsoft Visual Basic 2005 for Developers
Next Post: FreeBSD Architecture Handbook »

Primary Sidebar

Get Latest Updates

  • Facebook
  • Pinterest
  • RSS
  • Twitter
  • YouTube
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact

Copyright © 2006–2025 OnlineProgrammingBooks.com