Libro Call-By-Push-Value: A Functional/Imperative Synthesis De Levy, P. B.

Envío gratis

portada Call-By-Push-Value: A Functional/Imperative Synthesis

Formato

Libro Físico

Autor

P. B. Levy

Editorial

Springer

Idioma

Inglés

N° páginas

352

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.1 cm

Peso

0.55 kg.

ISBN13

9789401037525

Categorías

Ciencia y análisis de datos
Algebra
Lenguajes de programación scripting
Análisis y captura de datos

Call-By-Push-Value: A Functional/Imperative Synthesis

P. B. Levy (Autor) · Springer · Tapa Blanda

Sin Stock

Reseña del libro "Call-By-Push-Value: A Functional/Imperative Synthesis"

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.