Call Boomerang Books 1300 36 33 32

Description - Functional Programming and Input/Output by Andrew D. Gordon

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 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 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'.

Buy Functional Programming and Input/Output by Andrew D. Gordon from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521070072
ISBN-10: 0521070074
Format: Paperback
(244mm x 170mm x 9mm)
Pages: 172
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 15-Apr-2008
Country of Publication: United Kingdom

Other Editions - Functional Programming and Input/Output by Andrew D. Gordon

Book Reviews - Functional Programming and Input/Output by Andrew D. Gordon

» Have you read this book? We'd like to know what you think about it - write a review about Functional Programming and Input/Output book by Andrew D. Gordon and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Andrew D. Gordon