Häftad, Engelska, 2012
Call-By-Push-Value
A Functional/Imperative Synthesis
Av P.B. Levy
Del i serien Semantics Structures in Computation
1297 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2012-09-27
- Mått: 160 x 240 x 22 mm
- Vikt: 631 g
- Format: Häftad
- Språk: Engelska
- Serie: Semantics Structures in Computation
- Antal sidor: 352
- Upplaga: 2003
- Förlag: Springer
- ISBN: 9789401037525
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.