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

Levy, P.B.

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

Synopsis

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.

"synopsis" may belong to another edition of this title.

Product Description

Call-by-push-value Call-by-push-value is a programming language paradigm that breaks down the call-by-value and call-by-name paradigms into simple primitives. Aimed at graduate students and researchers, this monograph presents the call-by-push-value structure underlying semantics, including operational semantics, domains, possible worlds, continuations, and games.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2003
Language
English
ISBN 10 
1402017308
ISBN 13 
9781402017308
Binding
Hardcover
Number of pages
393

Other Popular Editions of the Same Title

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

Featured Edition

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