This book constitutes the refereed proceedings of the International Workshop on Semantics
Applications and Implementation of Program Generation SAIG 2000 held in Montreal Canada in
September 2000. The seven revised full papers and four position papers presented together with
four invited abstracts were carefully reviewed and selected from 20 submissions. Among the
topics addressed are multi-stage programming languages compilation of domain-specific
languages and module systems program transformation low-level program generation formal
specification termination analysis and type-based analysis.
