Functional Programming and Input / Output by Andrew D. Gordon
Look inside with Google Book Preview
Functional Programming and Input / Output
By Andrew D. Gordon

Functional Programming and Input / Output

By (author) See other recent books by Andrew D. Gordon
Format: Paperback

Normal Price: $56.95
Your Price: $51.26 AUD, inc. GST
Shipping: $7.95 per order
You Save: $5.70! (10% off normal price)
Plus...earn $2.56 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Functional Programming and Input / Output by Andrew D. Gordon

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. 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 book by Andrew D. Gordon from Australia's Online 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: 31-Jul-2008
Country of Publication: United Kingdom

Books By Author Andrew D. Gordon

Higher Order Operational Techniques in Semantics by Andrew D. Gordon Higher Order Operational Techniques in Semantics, Hardback (January 1998)

A 1998 collection of original articles by leading researchers in area of programming languages.

» View all books by Andrew D. Gordon

Reviews

» 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 member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Andrew D. Gordon close
Higher Order Operational Techniques in Semantics by Andrew D. Gordon
»
BoomerangBooks.com.au close