Functional Programming and Input/Output

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

Autor: Andrew D. Gordon

Język:

Oprawa: Twarda

Wydawca: Cambridge University Press

Dostępność: 50 % szansa

Przeszukamy cały świat

370.63 zł

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

Informacje o książce

Autor

Andrew D. Gordon

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1994

strony

171

EAN

9780521471039

ISBN

0521471036

Enbook ID

02032199

Wydawca

Cambridge University Press

Waga

511

Wymiary

174 x 247 x 14

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Functional Programming and Input/Output

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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

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