9 search results - page 1 / 2 » An approach to call-by-name delimited continuations |
POPL
2008
ACM
14 years 5 months ago
2008
ACM
PPDP
2010
Springer
13 years 3 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
ADC
2005
Springer
13 years 10 months ago
2005
Springer
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...