You are about to access our book library "Languages, Compilers, and Tools for Embedded Systems: ACM Sigplan Workshop Lctes 2000, Vancouver, Canada, June 18, 2000, Proceedings full version" .