On Thu, Jan 6, 2011 at 10:11 AM, Keiko Nakata <ke...@kurims.kyoto-u.ac.jp> wrote: > On Thu, Jan 6, 2011 at 3:29 PM, Robby Findler <ro...@eecs.northwestern.edu> > wrote: > >> If you wanted to try, I'd suggest adapting the redex model and then >> using random testing to try to find the difference..... > > 'By adapting the redex model' means to implement > those operators discussed above in the redex? > Then I first need to understand their semantics; > do you have good references besides docs? > I enjoy reading the source written in Racket, but the C part is tougher...
There is a separate, formal model for the Racket's control operators (some of them), implemented in Redex (a dsl for building formal models). That model is probably a good place for you to experiment with doing things like implementing raise, etc. I believe Casey has the latest version of it. Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
