Domains and Processes
Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen
Inbunden, 2001
1 439 kr
Del i serien Semantics Structures in Computation
Call-By-Push-Value
A Functional/Imperative Synthesis
Inbunden, Engelska, 2003
2 429 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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
- Utgivningsdatum2003-11-30
- Mått155 x 235 x 27 mm
- Vikt762 g
- FormatInbunden
- SpråkEngelska
- SerieSemantics Structures in Computation
- Antal sidor352
- Upplaga2003
- FörlagKluwer Academic Publishers
- ISBN9781402017308
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Domain Theory, Logic and Computation
Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo
Inbunden, 2004
2 139 kr
Del 3
Domain Theory, Logic and Computation
Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo
Häftad, 2010
2 149 kr
Hoppa över listan
Du kanske också är intresserad av
Del 3
Domain Theory, Logic and Computation
Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo
Häftad, 2010
2 149 kr
Domains and Processes
Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen
Inbunden, 2001
1 439 kr
- Nyhet
Del 3
Domain Theory, Logic and Computation
Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo
Inbunden, 2004
2 139 kr
- Nyhet
Del 11
- Nyhet
- Nyhet
Del 4
Del 2