Functional Programming and Input/Output

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

Autor: Andrew D. Gordon

Jazyk:

Väzba: Pevná

Vydavateľ: Cambridge University Press

Dostupnosť: 50 % šanca

Prehľadáme celý svet

87.53 €

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

Informácie o knihe

Autor

Andrew D. Gordon

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1994

Stránok

171

EAN

9780521471039

ISBN

0521471036

Enbook ID

02032199

Vydavateľ

Cambridge University Press

Hmotnosť

511

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Functional Programming and Input/Output

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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ákazníci, ktorí si kúpili túto knihu, kúpili tiež

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

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