Functional Programming and Input/Output

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, 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.• First ever semantics of the three most widely implemented I/O mechanisms in lazy functional languages • Novel material on ‘applicative bisimulation’ • Treats monadic denotational semantics for first time in book form

Enjoy this great book! Brought to you by SMIRK

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Functional Programming and Input/Output" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3638
2. Handbook of Input-Output Economics in Industrial Ecology
3. Control and Estimation of Systems with Input/Output Delays
4. Advanced Strategies in Control Systems with Input and Output Constraints
5. Feedback Systems: Input-Output Properties (Classics in Applied Mathematics)
6. Waste Input-Output Analysis: Concepts and Application to Industrial Ecology (Eco-Efficiency in Industry and Science)
7. Quantitative Tourism Industry Analysis: Introduction to Input-Output, Social Accounting Matrix Modelling
8. Interactive Speech Technology: Human Factors Issues In The Application Of Speech Input/Output To Computers
9. Secure Programming Cookbook for C and C : Recipes for Cryptography, Authentication, Input Validation & More
10. Secure Programming Cookbook for C and C : Recipes for Cryptography, Authentication, Input Validation & More
11. The Functional Approach to Programming
12. Advanced Functional Programming
13. Trends in Functional Programming V.6
14. Trends In Functional Programming
15. Trends in Functional Programming (Vol 7)
16. Haskell: Functional Programming with Types