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

Levy, P.B.

 
9781402017308: Call-By-Push-Value: A Functional/Imperative Synthesis: 2 (Semantics Structures in Computation)
Hardcover
ISBN 10: 1402017308 ISBN 13: 9781402017308
Verlag: Springer, 2003

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2003
Sprache
Englisch
ISBN 10 
1402017308
ISBN 13 
9781402017308
Einband
Tapa dura
Anzahl der Seiten
398
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  9401037523 ISBN 13:  9789401037525
Verlag: Springer, 2012
Softcover