Items related to Functional Programming and Input/Output (Distinguished...
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8) - Hardcover
Synopsis
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...
Book 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...
From the Back Cover
A common attraction of functional programming is the ease with which proofs can be given to program properties. 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.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1995
- ISBN 10 0521471036
- ISBN 13 9780521471039
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages171
Search results for Functional Programming and Input/Output (Distinguished...
Stock Image
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)
Published by
Cambridge University Press, Cambridge, 1994
ISBN 10: 0521471036
ISBN 13: 9780521471039
Used
Hardcover
First Edition
Seller: Biblioceros Books, Warrenville, IL, U.S.A.
Seller rating 3 out of 5 stars
Hardcover. Condition: Fine. Dust Jacket Condition: very good +. First edition. Fine in VG DJ. 10"x7", 155pp. Text clean, bright & unmarked. Seller Inventory # 18005
Quantity: 2 available
Stock Image
Functional Programming and Input / Output.
Published by
Cambridge University Press,, NY:, 1994
ISBN 10: 0521471036
ISBN 13: 9780521471039
Used
Hardcover
First Edition
Seller: Grendel Books, ABAA/ILAB, Springfield, MA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fine. Dust Jacket Condition: Near Fine. First edition. Fine in a very near fine dust jacket. Seller Inventory # 49059
Quantity: 1 available
Stock Image
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science).
Published by
Cambridge University Press, 1994
ISBN 10: 0521471036
ISBN 13: 9780521471039
Used
Hardcover
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. XV, 155 Seiten, Englisch 500g. Seller Inventory # 493079
Quantity: 1 available
Stock Image
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)
Published by
Cambridge University Press, 1995
ISBN 10: 0521471036
ISBN 13: 9780521471039
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA82305214710366
Quantity: 1 available