Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation, V. 2)
 |
|
Описание:
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. ...Похожие книги
 | Medical Imaging and Augmented Reality Second International Workshop Автор: Cornelius T. Leondes Год: 2005 |
 | On Translation Автор: Paul Ricoeur Год: 2006 |
 | Die Another Day (soundtrack) Год: 2011 |
 | Code Porting Год: 2011 |
 | How Can I Keep from Singing?: Transforming the Lives of African Children and Families Affected by AIDS Автор: Alicia Keys Год: 2009 |