Functional Programming and Input/Output

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

Автор: Andrew D. Gordon

Език:

Корици: С твърди корици

Издател: Cambridge University Press

Наличност: 50% вероятност

Ще претърсим света

91.55 € 179.07 лв

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

Информация за книгата

Автор

Andrew D. Gordon

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1994

страници

171

EAN

9780521471039

ISBN

0521471036

Enbook ID

02032199

Издател

Cambridge University Press

Теглоt

511

Размери

174 x 247 x 14

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Functional Programming and Input/Output

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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

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