Functional Programming and Input/Output

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

Autor: Andrew D. Gordon

Limbă:

Legare: Copertă tare

Editura: Cambridge University Press

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

480.95 lei

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

Informații despre carte

Autor

Andrew D. Gordon

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1994

Pagini

171

EAN

9780521471039

ISBN

0521471036

Enbook ID

02032199

Editura

Cambridge University Press

Greutate

511

Dimensiuni

174 x 247 x 14

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Functional Programming and Input/Output

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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

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