Cutting out continuations

In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable

Cutting out continuations

In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable

The structure and the evolution of essential patents for standards: Lessons from three IT standards

This paper examines the structure and the evolution of the patents declared as essential for three major technical standards in information technology (MPEG2, DVD and W-CDMA). These standards have many essential patents, which are owned by many firms with different interests. Many patents have been applied even after the standard was set. We analyze three important reasons for why the essential patents are many and increase over time: they cover a number of different technology fields, there exist R&D competition even in a narrowly defined technology field and a firm can expand its patent portfolio by using continuations and other practices based on the priority dates of its earlier filed patent applications in the USA. Around 40% of the essential US patents for MPEG2 and DVD standards have been obtained by using these applications. However, our empirical analysis suggests that a firm with pioneering patents does not obtain more essential patents, using these practices.standard, essential patent, continuations

Filling in the Blanks

Eugene Gendlin claims that he wants "to think with more than conceptual structures, forms, distinctions, with more than cut and presented things" (WCS 29).1 He wants situations in their concreteness to be something we can think with, not just analyze conceptually. He wants to show that "conceptual patterns are doubtful and always exceeded, but the excess seems unable to think itself. It seems to become patterns when we try to think it. This has been the problem of twentieth century philosophy" (WCS 29). As a result he has "long been concerned with what is not formed although always in some form" (TAD 1). In this essay I would like to explore some of the issues surrounding the relation of the unformed and the formed. Gendlin says that "we get beyond the forms by thinking precisely in them" (TAD 1). The two emphasized words have to be considered separately as well as together. In many essays Gendlin's main concern is with the "precisely": can something that is not fully formed and definite still direct us as we carry forward language and action? My discussion begins with that issue; I suggest ways that Gendlin's proposal connects with and differs from some current ideas in epistemology and the philosophy of language. Then my discussion moves to the "in": what sense can we make of the formed being unformed? Finally I suggest that Gendlin's program runs into some difficulties in this connection

Narrative Self-Constitution and Recovery from Addiction

Why do some addicted people chronically fail in their goal to recover, while others succeed? On one established view, recovery depends, in part, on efforts of intentional planning agency. This seems right, however, firsthand accounts of addiction suggest that the agent’s self-narrative also has an influence. This paper presents arguments for the view that self-narratives have independent, self-fulfilling momentum that can support or undermine self-governance. The self-narrative structures of addicted persons can entrench addiction and alienate the agent from practically feasible recovery plans. Strategic re-narration can redirect narrative momentum and therefore support recovery in ways that intentional planning alone cannot

Two-dimensional conformal field theory and the butterfly effect

We study chaotic dynamics in two-dimensional conformal field theory through out-of-time order thermal correlators of the form $\langle W(t)VW(t)V\rangle$. We reproduce bulk calculations similar to those of [1], by studying the large $c$ Virasoro identity block. The contribution of this block to the above correlation function begins to decrease exponentially after a delay of $\sim t_* - \frac{\beta}{2\pi}\log \beta^2E_w E_v$, where $t_*$ is the scrambling time $\frac{\beta}{2\pi}\log c$, and $E_w,E_v$ are the energy scales of the $W,V$ operators.Comment: v1: 14 pages plus appendices, 2 figures. v2: references updated and minor changes to the text. v3: minor error corrected in Appendix B, but the conclusion is unchange