SAIG 2000 (2000 Montréal, Québec)

• Semantics, applications, and implementation of program generation