Semantics, Applications, and Implementation of Program Generation International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings - Taha, Walid; Taha, Walid (Springer Berlin Heidelberg : Imprint: Springer, 2000)