Functional Programming and Input/Output

Name: Functional Programming and Input/Output
Brand: Cambridge University Press
SKU: 9780521471039
Price: 2015 CZK
Availability: InStock

Autor: Andrew D. Gordon

Jazyk:

Vazba: Pevná

Vydavatel: Cambridge University Press

Dostupnost: 50 % šance

Prohledáme celý svět

2 015 Kč

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

Informace o knize

Autor

Andrew D. Gordon

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

1994

Stránek

171

EAN

9780521471039

ISBN

0521471036

Enbook ID

02032199

Vydavatel

Cambridge University Press

Hmotnost

511

Rozměry

174 x 247 x 14

Kompletní popis

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 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 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'.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Functional Programming and Input/Output

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Making and Un-Making of Neuronal Circuits in Drosophila

Calculus Made Even Easier: An Infinitesimal Differential Approach

Dosimetry in Bioelectromagnetics

AB-O'Th'-Yate in Yankeeland: The Results of Two Trips to America

Learning and Teaching with Maps

Molecular Modeling and Dynamics of Bioinorganic Systems, 1

Diffusion Processes and Related Problems in Analysis, Volume I

Hypothalamus and Endocrine Functions

Gallegher and Other Stories

Dutch Twins

Autobiography and Selected Essays

Protein Blotting and Detection

Hopf Bifurcation and Its Applications

Zákaznicí kteří koupili tuto knihu koupili také

Der Zauberer Von ROM, Buch 1

Management Von Webprojekten

Wir alle für immer zusammen

Der Gewinnabschöpfungsanspruch nach 10 UWG und die Vorteilsabschöpfung gem. 34, 34a GWB.

Präludien zu Hegel

Mein erstes Papp-Bilderbuch: Die Arche Noah

Рождественская песнь в прозе. Художник Митрофанов Максим