Sale!

Functional Programming and Input Output Distinguished Dissertations in Computer Science 1st Edition by Andrew Gordon 9780521471039 0521471036

Original price was: $50.00.Current price is: $35.00.

Functional Programming and Input Output Distinguished Dissertations in Computer Science 1st Edition Andrew D. Gordon Digital Instant Download

Author(s): Andrew D. Gordon
ISBN(s): 9780521471039, 0521471036
Edition: 1
File Details: PDF, 1.89 MB
Year: 2008
Language: english
SKU: EB-1380786 Category: Tag:

Functional Programming and Input Output Distinguished Dissertations in Computer Science 1st Edition by Andrew Gordon – Ebook PDF Instant Download/Delivery: 9780521471039, 0521471036
Full download Functional Programming and Input Output Distinguished Dissertations in Computer Science 1st Edition after payment

Product details:

ISBN 10: 0521471036
ISBN 13: 9780521471039
Author: Andrew Gordon

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.

Functional Programming and Input Output Distinguished Dissertations in Computer Science 1st Table of contents:

Preface
1. Introduction
2. A calculus of recursive types
3. A metalanguage for semantics
4. Operational precongruence
5. Theory of the metalanguage
6. An operational theory of functional programming
7. Four mechanisms for teletype I/O
8. Monadic I/O
9. Conclusion
Bibliography
Notation
Index

People also search for Functional Programming and Input Output Distinguished Dissertations in Computer Science 1st:

input and output functions examples
    
what is input and output functions
    
a function must have a different output for each input
    
functional programming book
    
best functional programming books

Tags: Functional Programming, Input Output, Andrew Gordon