Format:
Online-Ressource (XLI, 352 p)
,
digital
Edition:
Springer eBook Collection. Humanities, Social Sciences and Law
ISBN:
9789400709546
Series Statement:
Semantic Structures in Computation 2
Content:
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
Additional Edition:
ISBN 9789401037525
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9789401037525
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9781402017308
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9789400709553
Language:
English
DOI:
10.1007/978-94-007-0954-6
URL:
Volltext
(lizenzpflichtig)