[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MzScheme and SML




MrSpidey uses Zodiac's source correlation mechanism. It can thus analyze
core forms but attach inferred value-flow information to the source
locations. 

The .plt file installs source code into the collects/ folder. 

MrSpidey isn't truly maintained anymore. We plan to rewrite MrSpidey's guts
for 200 so that we can conduct new experiments. The responsible parties are

 Philippe Meunier and Paul Steckler. 

I have cc'ed them. -- Matthias