Functional Programming and Input/Output (Paperback)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Distinguished Dissertations in Computer Science
Release date:	July 2008
First published:	April 2008
Authors:	Andrew D. Gordon
Dimensions:	244 x 170 x 9mm (L x W x T)
Format:	Paperback - Trade
Pages:	172
ISBN-13:	978-0-521-07007-2
Categories:	Books > Computing & IT > Computer programming > General Promotions
LSN:	0-521-07007-4
Barcode:	9780521070072

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!