Functional Programming and Input/Output

by Andrew D. Gordon

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 0521070074
• ISBN13: 9780521070072
• Release Date: July 2008
• Publisher: Cambridge University Press
• Length: 172 Pages
• Weight: 0.62 lbs.
• Dimensions: 0.4" x 6.7" x 9.6"