Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659169410

Книга ISBN13 9783659169410 - Contract Checking for Feldspar (Fatemeh Lashkari) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Contract Checking for Feldspar
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...
Авторы: Fatemeh Lashkari
Издательство:
Год: 2012
Местонахождение: OZON.ru
ISBN: 9783659169410


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.