search for books and compare prices
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Bibliographic Detail
Publisher
Cambridge Univ Pr
Publication date
December 1, 1994
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9780521471039
ISBN-10
0521471036
Dimensions
0.50 by 7.25 by 10.25 in.
Weight
1.10 lbs.
Published in
Great Britain
Original list price
$123.00
Summaries and Reviews
(view table of contents)
Amazon.com description: Product 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.
Editions
Hardcover
The price comparison is for this edition
from Cambridge Univ Pr (December 1, 1994)
9780521471039 | details & prices | 7.25 × 10.25 × 0.50 in. | 1.10 lbs | List price $123.00
About: A common attraction to functional programming is the ease with which proofs can be given of program properties.
About: A common attraction to functional programming is the ease with which proofs can be given of program properties.
Paperback
1 edition from Cambridge Univ Pr (July 31, 2008)
9780521070072 | details & prices | 155 pages | 6.50 × 9.25 × 0.50 in. | 0.65 lbs | List price $44.99
About: A common attraction to functional programming is the ease with which proofs can be given of program properties.
About: A common attraction to functional programming is the ease with which proofs can be given of program properties.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.