Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings - Walid Taha ((Lecture Notes in Computer Science))