Semantics, Applications, and Implementation of Program Generation