| Author: |
|
P.B. Levy
|
| Title: |
 |
Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation) |
| Moochable copies: |
|
No copies available |
| Topics: |
|
| Published in: |
|
English |
| Binding: |
|
Hardcover |
| Pages: |
|
396 |
| Date: |
|
2003-11-30 |
| ASIN/ISBN: |
|
1402017308 |
| Publisher: |
|
Springer |
| Weight: |
|
1.68 pounds |
| Size: |
|
6.66 x 9.68 x 1.07 inches |
| Edition: |
|
1 |
|
|
|
| Description: |
|
Product Description
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. After introducing basic ideas using domain semantics and a stack machine, the book is layered to appeal to readers in a variety of fields. One strand treats semantics of store, culminating in a possible world model for general storage cells. Another "implements" call-by-push-value by translating it into the Jump-With-Argument continuation language, enabling an account of pointer game semantics that explains its arenas, pointers and question/answer labelling in concrete computational terms. Yet another gives a categorical picture of call-by-push-value: an adjunction between values and stacks. Incorporating recent simplifications, this is a key text for anyone interested in l-calculus, programming language foundations or applications of category theory.
|
| URL: |
|
http://bookmooch.com/1402017308 |
|
|
