Abstract
In Part I, we introduced the CBPV paradigm as a language of semantic primitives for higher order programming with computational effects (even just divergence). In Part II we saw a vast range of semantics that support CBPV’s claim to be such a language, subsuming both CBV and CBN. That range includes models for printing, storage, divergence, erratic choice, errors and control effects; it also includes possible world models and interaction-based semantics such as jumping (using continuation semantics) and pointer game models. Again and again, we saw the advantages of using CBPV as a language of study. For example, in the interaction-based semantics, the explicit control flow in CBPV makes it closer to the detailed behaviour present in the model than CBN or CBV are.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Levy, P.B. (2003). Conclusions, Comparisons and Further Work. In: Call-By-Push-Value. Semantic Structures in Computation, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0954-6_12
Download citation
DOI: https://doi.org/10.1007/978-94-007-0954-6_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3752-5
Online ISBN: 978-94-007-0954-6
eBook Packages: Springer Book Archive