Functional Programming and Input/Output (Paperback: 172 pages)
- Overview |
- Compare Prices |
- Publishers Notes |
- Formats
Product Details: Functional Programming and Input/Output
| Author: | Andrew D. Gordon, Andrew D. Gordon |
| Format: | Paperback: 172 pages. |
| Publisher: | Cambridge Univ Pr (07/31/2008) |
| ISBN: | 0521070074 |
| ISBN13: | 9780521070072 |
| Reading Level: |
Other Available Formats: Functional Programming and Input/Output
Publisher Notes: Functional Programming and Input/Output
- 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.
Compare Prices: Functional Programming and Input/Output
| Store | Store Rating | Price | Notes/Coupons | |
|---|---|---|---|---|
| $38.07Total Price N/A | New Item free us shipping for items over $25!!! | Go to Store |
Rate & Write a Review: Functional Programming and Input/Output
Rate & Write a Review: Functional Programming and Input/Output
Please send us your feedback on our site. • Find, Compare, Read Reviews & Buy Functional Programming and Input/Output - Online @ Yahoo! Shopping • Want to see your products in Yahoo! Shopping? Build your own online store or Advertise with us. Current Advertisers Sign in • Make money with Yahoo! Shopping APIs, now powering Yahoo! Tech. • Learn more about our paid syndication program. • Sitemap • Top Searches • All Brands
Information about prices, products, services and merchants is provided by third parties and is for informational purposes only. Yahoo! does not represent or warrant the accuracy or reliability of the information, and will not be liable for any errors, omissions, or delays in this information or any losses, injuries, or damages arising from its display or use.