What exactly are administrative redexes after CPS conversion?

Posted by eljenso on Stack Overflow See other posts from Stack Overflow or by eljenso
Published on 2010-01-23T09:21:04Z Indexed on 2010/06/09 6:22 UTC
Read the original article Hit count: 291

Filed under:

Scheme

|

continuations

|

language-theory

|

cps

In the context of Scheme and CPS conversion, I'm having a little trouble deciding what administrative redexes (lambdas) exactly are:

all the lambda expressions that are introduced by the CPS conversion
only the lambda expressions that are introduced by the CPS conversion but you wouldn't have written if you did the conversion "by hand" or through a smarter CPS-converter

If possible, a good reference would be welcome.

© Stack Overflow or respective owner

Related posts about Scheme

About "If.." in Scheme (plt-scheme)

as seen on Stack Overflow - Search for 'Stack Overflow'
I had a pretty simple requirement in my Scheme program to execute more than one statement, in the true condition of a 'if'. . So I write my code, something like this: (if (= 1 1) ((expression1) (expression2)) ; these 2 expressions are to be executed when the condition is true (expression3)… >>> More
Detecting EOF in a Binary File using Scheme

as seen on Stack Overflow - Search for 'Stack Overflow'
(define (read-all-input) (local ((define line (bytes->list (read-bytes 4)))) (if (eof-object? line) empty (cons line (read-all-input))))) (void (read-all-input)) The above code fails because bytes-list expects an argument of type byte string, but is given # >>> More
Scheme: Detecting duplicate elements in a list

as seen on Stack Overflow - Search for 'Stack Overflow'
Does R6RS or Chez Scheme v7.9.4 have a library function to check if a list contains duplicate elements? Alternatively, do either have any built in functionality for sets (which dis-allow duplicate elements)? So far, I've only been able to find an example here. The problem with that is that it doesn't… >>> More
Traversing Scheme function as a list

as seen on Stack Overflow - Search for 'Stack Overflow'
Isn't it possible to treat functions in Scheme as any other list? Basically, what I want do to is something like this: (define (foo) "hello") (cdr foo) ; or similar, should return the list ((foo) "hello") I've found a similar discussion about this, and I feel a bit disappointed if this is not… >>> More
Scheme implementations - what does it mean?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm a beginning student in CS, and my classes are mostly in Java. I'm currently going through "Little Schemer" as a self study, and in the process of finding out how to do that I have found numerous references to "implementations" of Scheme. My question is, what are implementations? Are they… >>> More

Related posts about continuations

Don't understand the typing of Scala's delimited continuations (A @cps[B,C])

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm struggling to understand what precisely does it mean when a value has type A @cps[B,C] and what types of this form should I assign to my values when using the delimited continuations facility. I've looked at some sources: http://lamp.epfl.ch/~rompf/continuations-icfp09.pdf http://www.scala-lang… >>> More
How do I use continuations on Scala 2.8?

as seen on Stack Overflow - Search for 'Stack Overflow'
Scala 2.8.0.RC1 includes the continuations plugin on trunk for the first time, but the details of how to use it have changed from previous releases, so it's difficult to follow the blog entries and SO answers out there that talk about continuations but were written for previous versions. >>> More
Looking for examples of "real" uses of continuations

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to grasp the concept of continuations and I found several small teaching examples like this one from the Wikipedia article: (define the-continuation #f) (define (test) (let ((i 0)) ; call/cc calls its first function argument, passing ; a continuation variable representing this… >>> More
converting code from not CPS to CPS (CPS aka Continuation Passing Style aka Continuations)

as seen on Stack Overflow - Search for 'Stack Overflow'
before: function sc_startSiteCompare(){ var visitinguri; var validateduri; var downloaduris; var compareuris; var tryinguri; sc_setstatus('started'); visitinguri = sc_getvisitinguri(); validateduri = sc_getvalidateduri(visitinguri); downloaduris = new Array(); … >>> More
Scala command line parameters in eclipse?

as seen on Stack Overflow - Search for 'Stack Overflow'
Scala includes the continuations plugin now (yay), but must be enabled by passing "-P:continuations:enable" to the scala compiler. Is there a way to pass arbitrary arguments to scalac for the eclipse scala plugin? From: http://permalink.gmane.org/gmane.comp.lang.scala/19439 the plugin is loaded… >>> More