Abstract
In Sect. 5.4.6, we presented a continuation semantics for CBPV+control, together with printing. (We use printing as our leading example of a non- control effect in this discussion, but others would work as well.) We used CBPV as the semantic metalanguage, and we gave not just one model, but a whole family, parametrized by an, A-set \(\underline {Ans}\). What we described there was, in effect, a translation
where \(\underline {Ans}\) is a free computation type identifier. Any A-set \(\underline {Ans}\) induces a denotational semantics for CBPV + \(\underline {Ans}\) + print (where we interpret \(\underline {Ans}\) by \(\underline {Ans}\)) and so, via this translation, a denotational semantics for CBPV + control + print. The translation is called the stack-passing style (StkPS) transform, because every computation is regarded as taking its stack as a parameter. (In the CBV setting, it is called the continuation-passing style (CPS) transform because all stacks are continuations.)
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). Jump-With-Argument. In: Call-By-Push-Value. Semantic Structures in Computation, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0954-6_7
Download citation
DOI: https://doi.org/10.1007/978-94-007-0954-6_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3752-5
Online ISBN: 978-94-007-0954-6
eBook Packages: Springer Book Archive