Danvy, O. (1989). Programming with tighter control. Special issue of the BIGRE journal: Putting Scheme to Work, (65):10--29.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....j redexes, in one pass. syntax syntax] syntax [ x] x(a: a) x:M ] x: M ] 00 ) M N ] M ] m: m [ N ] 00 ) a: a) 00 : syntax [ x] 00 = x [ x:M ] 00 = k: k (x: M ] 00 ) M N ] 00 = k: M ] m: m [ N ] 00 )k) Figure 8: One pass, properly tail recursive CPS transformation of n terms However this new CPS translation suffers from a deficiency, as pinpointed by the following observation. Observation 2 A n term and its CPS counterpart are related as follows: ffl A variable is translated into one application ....

....are only constructed in tail contexts, for identifiers occurring as abstraction bodies, and as arguments of functions (this corresponds to the ALGOL 60 situation of suspending a suspension ) As in Section 2. 6, they can eliminated at translation time by duplicating the rules (cf. Figure 8) Rationale: The auxiliary translation [ M ] 00 is used for the special case k: M ] m: km) thereby avoiding the construction of extraneous j redexes. The result of transforming a term M into CPS in an empty context is then given by [ M ] m:m) whereas the result of transforming a ....

[Article contains additional citation context not shown here]

Olivier Danvy. Programming with tighter control. Special issue of the BIGRE journal: Putting Scheme to Work, (65):10--29, July 1989.

....providing him with a motivation to write better programs. Single threading analysis is another way of eliminating the unnecessary creation of internal data structures. It shows where assignments can be introduced [12] Danvy explores the use of continuations to solve the intermediate list problem [1]. He further exploits the technique of using continuations in non tail position. The emphasis of these approaches is different from ours. Our primary concern is with the interface between procedures, whereas they are interested in the flow of data within a procedure. Dybvig and Hieb consider the ....

Danvy, O., Programming with tighter control. Special issue of the BIGRE journal Putting the Scheme Language to Work, Brest, France (July 1989) 10-29.

....frames, and their composition as the concatenation of these sequences (Felleisen et al. 1988) Earlier on, prompts were specified with an operational description in terms of textual reductions (Felleisen, 1988) In general, these static vs. dynamic interpretations lead to different behaviors (Danvy, 1989). In our framework, reset naturally is the direct style counterpart of initializing the continuation of a CPS term with the identity function. Reset seems to be equivalent to prompt, but terms using control in general have no CPS counterpart. 5.4. CPS translation of terms that use shift and ....

Danvy, O. (1989). Programming with tighter control. Special issue of the BIGRE journal: Putting Scheme to Work, (65):10--29.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC