Del 2 - Semantics Structures in Computation

Call-By-Push-Value

A Functional/Imperative Synthesis

Häftad, Engelska, 2012

Av P.B. Levy, P. B. Levy

1 689 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

2 369 kr

Skickas inom 7-10 vardagar

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

Utgivningsdatum2012-09-27
Mått160 x 240 x 22 mm
Vikt631 g
SpråkEngelska
SerieSemantics Structures in Computation
Antal sidor352
Upplaga2003
FörlagSpringer
EAN9789401037525

Mer från samma serie

Domains and Processes

Del 1

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

1 399 kr

Domain Theory, Logic and Computation

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo, M K Luo

2 099 kr

Domain Theory, Logic and Computation

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo, M. K. Luo

2 109 kr

Domains and Processes

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

1 409 kr

Du kanske också är intresserad av

Call-By-Push-Value

Del 2

Call-By-Push-Value

P.B. Levy, P. B. Levy, P B Levy

2 369 kr

America in the Sixties--Right, Left, and Center

America in the Sixties--Right, Left, and Center

Richard Wires, P. B. Levy, Peter B. Levy

859 kr

Domain Theory, Logic and Computation

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo, M. K. Luo

2 109 kr

Domains and Processes

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

1 409 kr

Domains and Processes

Del 1

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

1 399 kr

Domain Theory, Logic and Computation

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo, M K Luo

2 099 kr

De fenomenala fruntimren på Grand Hôtel

4 pocket för 3

Del 1

De fenomenala fruntimren på Grand Hôtel

Ruth Kvarnström-Jones

125 kr

Charlies hämnd

Nyhet

Del 1

Charlies hämnd

Simona Ahrnstedt

79 kr125 kr

Caminando Spanska Nybörjare Lärobok inkl ljud

Caminando Spanska Nybörjare Lärobok inkl ljud

Elisabet Waldenström, Ninni Westerman, Åsa Bretz, Åsa Gustafsson, Märet Wik-Bretz

589 kr

Väninnorna på Nordiska Kompaniet

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Tillhör följande kategorier

I Language.- 1. Call-By-Value and Call-By-Name.- 2. Call-By-Push-Value: A Subsuming Paradigm.- 3. Complex Values and Equational Theory.- 4. Recursion and Infinitely Deep CBPV.- II Concrete Semantics.- 5. Simple Models of CBPV.- 6. Possible World Model for Cell Generation.- 7. Jump-With-Argument.- 8. Pointer Games.- III Categorical Semantics.- 9. Semantics in Element Style.- 10. All Models are Categorical Models.- 11. Representing Objects.- IV Conclusions.- 12. Conclusions, Comparisons and Further Work.- Appendices.- Technical Treatment of CBV and CBN.- A.1 The Jumbo ?-Calculus.- A.1.1. Introduction.- A.1.2. Tuple Types.- A.1.3. Function Types.- A.2 Languages and Tranlations.- A.3 Call-By-Value.- A.3.1. Coarse-Grain Call-By-Value.- A.3.2. Fine-Grain Call-By-Value.- A.3.3. From CG-CBV To FG-CBV.- A.4 Call-By-Name.- A.5 The Lazy Paradigm.- A.6 Subsuming FG-CBV and CBN.- A.6.1 From FG-CBV to CBPV.- A.6.2 From CBPV Back to FG-CBV.- A.6.3 From CBN to CBPV.- A.6.4 From CBPV back To CBN.- Models In The Style Of Power-Robinson.- B.1 Intoduction.- B.2 Actions of Monoidal Categories.- B.3 Freyd Categories.- B.4 Judgement Model.- B.5 Enrichment.- B.6 Connectives.- B.7 Modelling CBPV.- B.8 The Full Reflection.- B.9 Theories.- B.10 Conservativity.- References.