Name: abstract computing machines (en Inglés)
SKU: 3372182
Price: 95.47 USD
Availability: InStock
Author: kluge

portada abstract computing machines (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

kluge

Idioma

Inglés

N° páginas

384

ISBN

3540211462

ISBN13

9783540211464

Categorías

Ciencias de la computación

abstract computing machines (en Inglés)

Kluge (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 190.95$ 95.47

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 95.47

Llega entre el 08 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "abstract computing machines (en Inglés)"

the book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. it completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. the emphasis is on fully normalizing machines based on a full-fledged beta-reduction as an essential prerequisite for symbolic computations that treat functions and variables truly as first-class objects. their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. further downgrading of the lambda calculus leads to classical imperative (von neumann) machines that permit side-effecting operations on the runtime environment.