[racket] raise vs abort

From: Keiko Nakata (keiko at kurims.kyoto-u.ac.jp)
Date: Thu Jan 6 11:11:30 EST 2011

On Thu, Jan 6, 2011 at 3:29 PM, Robby Findler <robby at 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...


Posted on the users mailing list.