Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings - Taha, Walid; Taha, Walid (Springer Berlin Heidelberg : Imprint: Springer, 2001)