Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Semantics Structures in Computation

Call-By-Push-Value

A Functional/Imperative Synthesis

Authors: Levy, P.B.

Buy this book

eBook $189.00
price for USA
  • ISBN 978-94-007-0954-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $249.00
price for USA
  • ISBN 978-1-4020-1730-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $249.00
price for USA
  • ISBN 978-94-010-3752-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (12 chapters)

Buy this book

eBook $189.00
price for USA
  • ISBN 978-94-007-0954-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $249.00
price for USA
  • ISBN 978-1-4020-1730-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $249.00
price for USA
  • ISBN 978-94-010-3752-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Call-By-Push-Value
Book Subtitle
A Functional/Imperative Synthesis
Authors
Series Title
Semantics Structures in Computation
Series Volume
2
Copyright
2003
Publisher
Springer Netherlands
Copyright Holder
Kluwer Academic Publishers
eBook ISBN
978-94-007-0954-6
DOI
10.1007/978-94-007-0954-6
Hardcover ISBN
978-1-4020-1730-8
Softcover ISBN
978-94-010-3752-5
Edition Number
1
Number of Pages
XLI, 352
Topics