Contract Checking for Feldspar - Fatemeh Lashkari
-30% with code BOOKS
Shipping in 15-21 days
30-day return policy
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 ... Full description
You May Also Like
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky, Nate Soares
-30% with code BOOKS
In stock at our supplier
TOP
How To Think About AI: A Guide For The Perplexed
-30% with code BOOKS
In stock at our supplier
TOP
Gödel, Escher, Bach: An Eternal Golden Braid
-30% with code BOOKS
In stock at our supplier
TOP
AI Engineering: Building Applications with Foundation Models
-30% with code BOOKS
In stock at our supplier
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
-30% with code BOOKS
In stock at our supplier
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming
-30% with code BOOKS
In stock at our supplier
TOP
The Rust Programming Language
Steve Klabnik, Carol Nichols, Chris Krycho
-30% with code BOOKS
In stock at our supplier
TOP
How to Talk to AI: (And How Not To)
-30% with code BOOKS
In stock at our supplier
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition
-30% with code BOOKS
In stock at our supplier
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution
-30% with code BOOKS
In stock at our supplier
TOP
The Art of Game Design: A Book of Lenses
-30% with code BOOKS
In stock at our supplier
TOP
How Linux Works: What Every Superuser Should Know
-30% with code BOOKS
In stock at our supplier
TOP
Hands-On Large Language Models: Language Understanding and Generation
Maarten Grootendorst, Jay Alammar
-30% with code BOOKS
In stock at our supplier
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach
-30% with code BOOKS
In stock at our supplier
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
-30% with code BOOKS
In stock at our supplier
TOP
Clean Architecture: A Craftsman's Guide to Software Structure and Design
-30% with code BOOKS
In stock at our supplier
TOP
World of Warcraft Chronicle, Volume 2
-30% with code BOOKS
In stock at our supplier
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
-30% with code BOOKS
In stock at our supplier
TOP
Deep Learning: Foundations and Concepts
Christopher M. Bishop, Hugh Bishop
-30% with code BOOKS
In stock at our supplier
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.
More Information
| Author | Fatemeh Lashkari |
|---|---|
| Publisher | LAP LAMBERT Academic Publishing |
| Release year | 2012 |
| Cover type | Softcover |
| EAN | 9783659169410 |