 <A HREF="http://www.cs.cornell.edu/Info/Projects/SimLab/projects/synthesis.html"> SPL, a high-level programming language for synthesizing scientific software </A>  <P>
