Boost logo

Boost :

From: Giovanni Piero Deretta (gpderetta_at_[hidden])
Date: 2006-09-14 16:17:13


On 9/14/06, Jose <jmalv04_at_[hidden]> wrote:
> On 9/14/06, Giovanni Piero Deretta <gpderetta_at_[hidden]> wrote:
> >
> > > Interaction-Safe State for the Web
> > >
> > http://www.cs.brown.edu/~sk/Publications/Papers/Published/mk-int-safe-state-web/
>
>
> just a quote from section 8.2
> =========
> Another solution to this problem [22 - back button] relies on one-shot
> continuations [3].
> These continuations detect when they are invoked a second time and produce a
>
> suitable error. ....
> However,this strategy cannot be used to implement the shopping cart example
> without
> severe transformation of the source program to propagate the called? binding
> to each
> code fragment that binds URLs.
> =========
>

Your association of this text with 'back button' is wrong. The text
actually refers to non-idempotent URL handling (while the
bibliography reference is a generic web continuation paper):
>From the beginning of section 8.3 (not 8.2):
_______________________
[...] A sub-problem of [disabling old urls] has been ad-
dressed by work targeted at preventing the duplication of non-
idempotent requests. The Post-Redirect-Get pattern [10] is one strategy
[...]
Another solution [22] to this problem relies on one-shot con-
tinuations [3]. These continuations detect when they are invoked a
second time and produce a suitable error. [...]
_________________________

--
Giovanni P. Deretta
--
Giovanni P. Deretta

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk