Semantics, applications, and implementation of program generation international workshop, SAIG 2000, Montreal, Canada, September 20, 2000 ; proceedings (Springer, 2000)