☰ Category

Contract Checking for Feldspar

 

Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

Product Out of Stock Subscription

(Notify me when this product is back in stock)

Rs. 3,651

Availability: Out of stock

 
  • Product Description
 

One way to improve software reliability is to detect errors early and report them precisely during program development; the use of contracts is one approach to software verification. A desired property of an expression is specified with a contract. A contract language should create an informative error message to report the violation and the violator when a contract fails. In this book, a contract language is introduced and implemented for three libraries and also for some practical functions of the functional language Feldspar. Feldspar is a domain specific language (DSL) for Digital Signal Processing, embedded in Haskell, and generating C code.Contract checking can be done statically or dynamically. Static checking concentrates on complete checking of limited specifications at compile time. Dynamic checking focuses on incomplete checking of expressive specifications, and detects errors during run time. Contracts that are written in this thesis are checked with a dynamic contract checker. Furthermore, they are tested with QuickCheck, to ensure that contracts satisfy given properties. The result of these tests shows that the contracts hold their properties.

Product Specifications
SKU :COC18779
AuthorFatemeh Lashkari
LanguageEnglish
BindingPaperback
Number of Pages72
Publishing Year2012-11-07T00:00:00.000
ISBN978-3659169410
Edition1 st
Book TypeComputer hardware
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-27 00:00:00
0 Review(s)