Call-By-Push-Value: A Functional/Imperative Synthesis: 2 (Semantics Structures in Computation) - Tapa blanda

Levy, P.B. Blain

 
9789401037525: Call-By-Push-Value: A Functional/Imperative Synthesis: 2 (Semantics Structures in Computation)
Tapa blanda
ISBN 10: 9401037523 ISBN 13: 9789401037525
Editorial: Springer, 2012

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2012
Idioma
Inglés
ISBN 10 
9401037523
ISBN 13 
9789401037525
Encuadernación
Tapa blanda
Número de páginas
396
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9781402017308: Call-By-Push-Value: A Functional/Imperative Synthesis: 2 (Semantics Structures in Computation)

Edición Destacada

ISBN 10:  1402017308 ISBN 13:  9781402017308
Editorial: Springer, 2003
Tapa dura