libcats.org
Главная

Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

Обложка книги Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He also develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's "applicative bisimulation." Graduate students and researchers will gain much from reading this book.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

Автор:
Размер книги: 829 Kb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Harry Potter and the Goblet of Fire

Автор:
Размер книги: 1.16 Mb

Harry Potter and the Deathly Hallows

Автор:
Размер книги: 1.25 Mb

Доминирующая раса

Автор:
Размер книги: 694 Kb

Илья Рясной. Ответный удар

Автор:
Размер книги: 253 Kb

Art of Woodworking - Wood Finishing

Автор:
Категория: ХОББИ и РЕМЕСЛА
Размер книги: 5.18 Mb

Тиски

Автор:
Категория: Поэзия

Ophthalmology Secrets in Color, 3rd Edition

Автор: , Автор:
Размер книги: 11.78 Mb

The Dominion War Sourcebook: The Fires of Armageddon

Автор:
Категория: fiction
Размер книги: 5.43 Mb