ENGLISH

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

By Andrew D. Gordon

Book information

Publisher
Cambridge University Press
Year
2008
ISBN
0521070074, 9780521070072, 0521471036, 9780521471039
LCC
QA76.62 .G67 1994
Open Library ID
OL1101513M
Language
english
Format
PDF
Filesize
2 MB (1986106 bytes)
Series
Distinguished Dissertations in Computer Science
Edition
1
Pages
169\169
Topic
Computers
Scanned
no
Time added
2010-05-31 15:29:46

Description

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.

Similar books