This work is supported by DARPA and Rome Laboratory under agreement F30602-96-0239 and NSF under grant CCR-9402486. We would like to thank Jens Palsberg, Boaz Patt-Shamir, Linda Seiter, Mitchell Wand for their input to Demeter/Java and to Kedar Patankar and Binoy Samuel for their implementation help.