Functional Programming and Input/Output

Functional Programming and Input/Output

by Andrew D. 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… See more details below

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 in I/O.

Product Details

ISBN-13:
9780521471039
Publisher:
Cambridge University Press
Publication date:
10/28/1994
Series:
Distinguished Dissertations in Computer Science Series, #8
Pages:
171
Product dimensions:
6.85(w) x 9.72(h) x 0.55(d)

Table of Contents

Summary
Preface
Preface to the Book Edition
1Introduction1
2A calculus of recursive types15
3A metalanguage for semantics27
4Operational precongruence37
5Theory of the metalanguage55
6An operational theory of functional programming65
7Four mechanisms for teletype I/O99
8Monadic I/O119
9Conclusion133
Bibliography137
Notation Index149
Index153

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >