John Cowan wrote: > As for Stalin, I grant that it's important, and that it's art, but > I deny that it's actually prior to anything in particular. It's > a dinosaur without even avian descendants.
Stalin does sophisticated flow analysis that has been influential in the functional language compiler community. The tech report cited in this thread is also discussed in Jan Midtgaard's survey on control-flow analysis of functional programs, which is going to appear in the ACM Computing Surveys journal. Stalin is also prior to (but distinct from) StalinGrad, part of Jeffrey Mark Siskind and Barak Pearlmutter's work on automatic differentiation. That work has appeared in POPL, HOSC, and TOPLAS. David _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
