The Fictioning Horror Sale
 
 

Recently Viewed clear list


Powell's Q&A | September 3, 2014

Emily St. John Mandel: IMG Powell’s Q&A: Emily St. John Mandel



Describe your latest book. My new novel is called Station Eleven. It's about a traveling Shakespearean theatre company in a post-apocalyptic North... Continue »
  1. $17.47 Sale Hardcover add to wish list

    Station Eleven

    Emily St. John Mandel 9780385353304

spacer

Distinguished Dissertations in Computer Science #8: Functional Programming and Input/Output

by

Distinguished Dissertations in Computer Science #8: Functional Programming and Input/Output Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

Extends functional programming to solve I/O problems, while retaining usual verification features.

Product Details

ISBN:
9780521070072
Author:
Gordon, Andrew D.
Publisher:
Cambridge University Press
Subject:
Programming - Software Development
Subject:
Programming Languages - General
Subject:
Software Development & Engineering - General
Subject:
Software Engineering-General
Series:
Distinguished Dissertations in Computer Science
Series Volume:
8
Publication Date:
20080431
Binding:
TRADE PAPER
Language:
English
Pages:
172
Dimensions:
6.69x9.60x.36 in. .62 lbs.

Related Subjects

Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Calculus » General

Distinguished Dissertations in Computer Science #8: Functional Programming and Input/Output New Trade Paper
0 stars - 0 reviews
$48.75 In Stock
Product details 172 pages Cambridge University Press - English 9780521070072 Reviews:
"Synopsis" by , Extends functional programming to solve I/O problems, while retaining usual verification features.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.