|
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science) | 
 enlarge | Author: Andrew D. Gordon
Publisher: Cambridge University Press
Category: Book
List Price: $90.00
Buy New: $22.68
You Save: $67.32 (75%)
New (7) Used (9) from $1.89
Sales Rank: 1586460
Media: Hardcover
Number Of Items: 1
Pages: 171
Shipping Weight (lbs): 1
Dimensions (in): 9.8 x 6.9 x 0.6
ISBN: 0521471036
Dewey Decimal Number: 005.711
EAN: 9780521471039
ASIN: 0521471036
Publication Date: January 27, 1995
Availability: Usually ships in 1-2 business days
Shipping: International shipping available
Condition: Book is brand new, and has never been opened. Thousands of satisfied customers!
|
| Editorial Reviews:
Product 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.
Book 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.
|
|
|
Powered by Associate-O-Matic
| |
