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

Levy, P.B.

 
9781402017308: Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation, 2, Band 2)
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.

Verlag
Springer
Erscheinungsdatum
2003
Sprache
Englisch
ISBN 10 
1402017308
ISBN 13 
9781402017308
Einband
Gebundene Ausgabe
Anzahl der Seiten
393
Kontakt zum Hersteller
Dt. Universitätsverlag
buchhandel-buch@springer.com

Abraham-Lincoln-Str. 46
Wiesbaden
65198
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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