Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings - Walid Taha ((Lecture Notes in Computer Science))