Name: Functional Programming and Input/Output
Price: 99.00 USD
Availability: OutOfStock
Author: Gordon, Andrew D.
ISBN: 9780521471039

by Gordon, Andrew D.

by Gordon, Andrew D.

Marketplace Prices
Used from $74.89

Used
$74.89

List Price

~~$99.00~~

Discount

24% Off

You Save

$24.11

Item Details
Condition: Good
Provider: Bonita
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

ISBN-13: 9780521471039
ISBN: 0521471036
Publisher: Cambridge University Press

AUTHOR

Gordon, Andrew D.

SUMMARY

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.Gordon, Andrew D. is the author of 'Functional Programming and Input/Output' with ISBN 9780521471039 and ISBN 0521471036.

[read more]