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

Levy, P.B. Blain

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

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.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
9401037523
ISBN 13 
9789401037525
Einband
Taschenbuch
Anzahl der Seiten
396
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  1402017308 ISBN 13:  9781402017308
Verlag: Springer, 2003
Hardcover