Semantics, Applications, and Implementation of Program Generation (SAIG)

2. SAIG 2001: Florence, Italy

1. SAIG 2000: Montreal, Canada