Semantics Structures in Computation

Call-By-Push-Value

A Functional/Imperative Synthesis

Authors: Levy, P.B.

Free Preview

Buy this book

eBook  
  • ISBN 978-94-007-0954-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Hardcover  
  • ISBN 978-1-4020-1730-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
Softcover  
  • ISBN 978-94-010-3752-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
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)

Table of contents (12 chapters)
  • Call-By-Value and Call-By-Name

    Pages 3-26

    Levy, Paul Blain

  • Call-By-Push-Value: A Subsuming Paradigm

    Pages 27-47

    Levy, Paul Blain

  • Complex Values and Equational Theory

    Pages 49-63

    Levy, Paul Blain

  • Recursion and Infinitely Deep CBPV

    Pages 65-86

    Levy, Paul Blain

  • Simple Models of CBPV

    Pages 89-116

    Levy, Paul Blain

Buy this book

eBook  
  • ISBN 978-94-007-0954-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Hardcover  
  • ISBN 978-1-4020-1730-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
Softcover  
  • ISBN 978-94-010-3752-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
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