 ARPA is supporting our work (as part of the <A HREF="http://www.cs.washington.edu/research/projects/spin/www">SPIN project</A>) on developing advanced compiler technology for safe systems programming languages, presently an in-house dialect of Modula-3.  <dt>
