Functional Programming and Input / Output
By (author) Andrew D. Gordon
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 to Backorder, No Due Date for Supply
Functional Programming and Input / Output by Andrew D. Gordon
Book DescriptionA 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 DetailsISBN: 9780521070072
(244mm x 170mm x 9mm)
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, Hardback (January 1998)» View all books by Andrew D. Gordon
A 1998 collection of original articles by leading researchers in area of programming languages.
» 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!)
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687