منابع مشابه
Yield Continuations
Just as a traditional continuation represents the rest of a computation from a given point in the computation, a subcontinuation represents the rest of a subcomputation from a given point in the subcomputation. Subcontinuations are more expressive than traditional continuations and have been shown to be useful for controlling tree-structured concurrency, yet they have previously been implemente...
متن کاملContinuations and Functional Equations
The first part of this writeup gives Riemann’s argument that the completion of zeta, Z(s) = π−s/2Γ(s/2)ζ(s), Re(s) > 1 has a meromorphic continuation to the full s-plane, analytic except for simple poles at s = 0 and s = 1, and the continuation satisfies the functional equation Z(s) = Z(1− s), s ∈ C. The continuation is no longer defined by the sum. Instead, it is defined by a wellbehaved integ...
متن کاملCompiling ATL with Continuations
This paper presents a proposal to use continuations as an implementation mechanism for ATL. We introduce the notion of continuation, showing its applicability to model-to-model transformations, and develop a simple mechanism to enable continuations in model transformations. Then, the declarative part of ATL is mapped to this mechanism.
متن کاملContinuations and Natural Language
ed, namely, the property of being called yesterday by Mary, which can be roughly rendered as λx.yesterday(called x) m. What makes continuations essential? The semantic continuation identified in (2) is what the quantifier everyone takes for its semantic argument, its ‘nuclear scope’. In general, identifying the semantic argument of a scope-taking expression is the same thing as identifying (one...
متن کاملContinuations and Functional Equations
The first part of this writeup gives Riemann’s argument that the completion of zeta, Z(s) = π−s/2Γ(s/2)ζ(s), Re(s) > 1 has a meromorphic continuation to the full s-plane, analytic except for simple poles at s = 0 and s = 1, and the continuation satisfies the functional equation Z(s) = Z(1− s), s ∈ C. The continuation is no longer defined by the sum. Instead, it is defined by a wellbehaved integ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2015
ISSN: 2163-5951
DOI: 10.3765/salt.v0i0.2848