World Library  


Add to Book Shelf
Flag as Inappropriate
Email this Book

Semantics with Applications, a Formal Introduction

By Nielson, Hanne Riis

Click here to view

Book Id: WPLBN0003842558
Format Type: PDF eBook :
File Size:
Reproduction Date: 2015

Title: Semantics with Applications, a Formal Introduction  
Author: Nielson, Hanne Riis
Volume:
Language: English
Subject: Core Language, Programming, Programming
Collections: Online Programming Books
Historic
Publication Date:
1991
Publisher: John Wiley & Sons

Citation

APA MLA Chicago

Riisnielson, H. (1991). Semantics with Applications, a Formal Introduction. Retrieved from http://kindle.worldlibrary.net/


Description
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
TOC : Introduction - Operational semantics - Provably correct implementation - Denotational semantics - Static program analysis - Axiomatic program verification.

 

Click To View

Additional Books


  • Windows Applcaition 
  • ASTUDENT_Scratch_Programming (by )
  • C# Array.Search Prog 
  • Open Sources 2.0 : The Continuing Evolut... (by )
  • Fundamentals of computer technology (by )
  • INTERPLANETARY TRAJECTORY ENCKE METHOD I... (by )
  • Moist- macro output input system for the... (by )
  • Web Data Management (by )
  • Microsoft System Center: Extending Opera... (by )
  • Microsoft System Center: Introduction to... (by )
  • Server and Database Administration Guide... (by )
  • Basic Computing Using Windows (by )
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library on the Kindle are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.