Name: Functional Programming and Input (en Inglés)
Price: 175.99 PEN
Availability: InStock
Author: Andrew D. Gordon
ISBN: 9780521070072

portada Functional Programming and Input (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Andrew D. Gordon

Año

2008

Idioma

Inglés

N° páginas

172

Encuadernación

Tapa Blanda

Peso

0.65

ISBN

0521070074

ISBN13

9780521070072

N° edición

Categorías

Lenguajes de programación scripting

Functional Programming and Input (en Inglés)

Andrew D. Gordon (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo

S/ 175,99

S/ 351,99

Ahorras: S/ 175,99

50% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 20 de Junio y el Lunes 01 de Julio.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Functional Programming and Input (en Inglés)"

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, for the first time, 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 also 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." Graduate students and researchers will gain much from reading this book.