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

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

Книга ISBN13 9783846514825 - Side Effects in Steering Fragments (Lars Wortel) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

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

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

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

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

Название: Side Effects in Steering Fragments
In programming practice, side effects are a well-known phenomenon. However, a formal definition of side effects is missing. Intuitively, a side effect of a propositional statement is a change in state of a program or model other than the effect (or change in state) it was initially executed for. In this book, I will check this intuition and I will give a formal definition of side effects. I will do so by modifying a system for modelling program instructions and program states, Quantified Dynamic Logic (QDL), to a system called Dynamic Logic with Assignments as Formulas (DLAf), which in contrast to QDL allows assignments in formulas and makes use of short-circuit evaluation. I will show the underlying logic in those formulas to be a variant of short-circuit logic called repetition-proof short-circuit logic. Using that, I can give the definition and even a classification of side effects. The definition and the classification of side effects outlined in this book not only open doors to...
Авторы: Lars Wortel
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783846514825


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


Новости

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

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