almediah.fr
» » Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

Download Functional Programming and Input/Output (Distinguished Dissertations in Computer Science) eBook

by Andrew D. Gordon

Download Functional Programming and Input/Output (Distinguished Dissertations in Computer Science) eBook
ISBN:
0521471036
Author:
Andrew D. Gordon
Category:
Programming
Language:
English
Publisher:
Cambridge University Press; 1 edition (January 27, 1995)
Pages:
171 pages
EPUB book:
1522 kb
FB2 book:
1726 kb
DJVU:
1483 kb
Other formats
mobi doc lrf docx
Rating:
4.4
Votes:
524


A common attraction to functional programming is the ease with which proofs can be given of program properties.

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.

Series: Distinguished Dissertations in Computer Science (Book 8). Paperback: 172 pages.

A common attraction to functional programming is the ease with which proofs can be given of program properties. Series: Distinguished Dissertations in Computer Science (Book 8).

This is an important task, since movement reveals valuable information about the environment. He shows how the rift between theory and practice in logic programming can be bridged. Winner of the Distinguished Dissertation in Computer Science award, this work will prove invaluable to both designers and hardware engineers involved in the development of practical three-dimensional integrated circuits. Project Factorisations in Partial Evaluation.

Andrew D. Gordon - Functional Programming and Input/Output (Distinguished Dissertations in. . Gordon - Functional Programming and Input/Output (Distinguished Dissertations in Computer Science). Andrew D. Gordon - Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference.

Functional Programming and Input/Output. Distinguished Dissertations in Computer Science. Andrew Moran and David Sands. Improvement in a lazy context: An operational theory for call-by-need. Cambridge University Press, September 1994. Andrew Donald Gordon King's College. A dissertation submitted to the University of Cambridge towards the degree of Doctor of Philosophy August 1992. Let the light of truth, and the help of grace, be vital principles of action in us that we may, in the time of life, attain the ends for which we live and that our religion, which begins in knowledge, may proceed in action, settle in temper, and end in happiness. This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration.

Functional Programming in C Classic Programming Techniques for Modern Projects (Wrox Programmer to Programmer) By Oliver Sturm.

Cambridge University Press. Functional Programming in C Classic Programming Techniques for Modern Projects (Wrox Programmer to Programmer) By Oliver Sturm.

Start listening to Science Distinguished Lecture Series on your phone right now with Player FM's free mobile app, the best podcasting experience on both iPhone and Android

Start listening to Science Distinguished Lecture Series on your phone right now with Player FM's free mobile app, the best podcasting experience on both iPhone and Android.

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.